[ The Types Forum (announcements only),
Rupak Majumdar and I are looking for a postdoc to work with us on a
project involving analysis and testing of safety critical systems.
The position is for two years starting this summer or fall.
The candidate should have completed a Ph.D. in Computer Science and
should have expertise and experience with one or more of the
following: software verification and formal methods; program analysis;
software testing; static type systems. Experience building large
software analysis tools is a definite plus.
Candidates should send email to me (t...@cs.ucla.edu). Please include
a CV and a brief research statement.