[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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.


Todd Millstein

Reply via email to