[TYPES/announce] Postdoc @Princeton in VST project

[Andrew W. Appel]

The Department of Computer Science at Princeton University solicits
applications for a postdoctoral (or a more senior) research position
in the Verified Software Toolchain project. The position is for one year
with the possibility of renewal. The anticipated research is on the
application of Concurrent Separation Logic to deductive formal 
verification of shared-memory C programs. Candidates should have a
PhD in Computer Science or a related field. The ideal candidate will
have experience using the Coq proof assistant or similar tools. To
ensure full consideration, we encourage candidates to complete their
applications, (including letters of recommendation) by February 28,
2015. (Late applications may still be considered). Applicants should
submit a CV and research statement, and contact information for three
references.

Princeton University is an equal opportunity employer. All qualified
applicants will receive consideration for employment without regard to
race, color, religion, sex, national origin, disability status,
protected veteran status, or any other characteristic protected by law.
Finalist candidates to be hired will be required to complete a
successful background check.

Apply to: http://jobs.cs.princeton.edu/postdoc4