[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Begin forwarded message:
> From: Bob Constable <r...@cs.cornell.edu>
> Date: September 9, 2010 3:13:23 PM EDT
>
> Post Doctoral Position in Formal Methods at Cornell University
>
> A one year extend-able position in formal methods is open at Cornell
> University starting October 1, 2010. The formal methods group is seeking a
> recent doctoral graduate interested in joining a team of five Cornell
> investigators working on the verification of a "clean slate" operating system
> as part of a broad DARPA project on the design of secure single host systems
> which can respond to attacks by modifying their behavior "on the fly." Our
> team expects to be working with other DARPA funded groups designing and
> verifying such a system.
>
> We seek PhDs with experience in formal methods and with a strong interest in
> conducting formal proofs with one or two major interactive theorem provers.
> Experience with Coq or HOL or similar provers is desirable, and applicants
> with knowledge of methods for reasoning about programs and protocols are
> preferred.
>
> We seek applications immediately and will respond in a timely manner to
> inquiries sent to r...@cornell.edu.
