The Coq mailing list

["Andrew W. Appel" <appel AT CS.Princeton.EDU>]

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