[TYPES/announce] postdoc position at UCLA

[Todd Millstein]

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 (todd at cs.ucla.edu).  Please include
a CV and a brief research statement.

Thanks.

Todd Millstein
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20090424/c6131113/attachment-0001.htm