[TYPES/announce] Post Doctoral Position in Formal Methods at Cornell University

[Stephanie Weirich]

Begin forwarded message:

> From: Bob Constable <rc at 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 rc at cornell.edu.