[TYPES/announce] Postdoctoral positions at Stanford University

[Clark Barrett]

Formal Methods and Automated Reasoning
Department of Computer Science, Stanford University
Two Postdoctoral Positions

This is a call for interest for postdoctoral research at Stanford
University under Professor Clark Barrett (formerly at New York
University).  The positions will focus on the development and application
of automated reasoning techniques, especially Satisfiability Modulo
Theories (SMT).

Qualifications

Applicants for the postdoctoral positions should have a PhD in Computer
Science or a closely related field. For one position, expertise in C++ and
systems programming is required.  For both positions, experience in formal
methods is desirable.

Application details

Interested applicants should send their CV, including a list of
publications, in PDF to barrett at cs.stanford.edu together with a statement
outlining their suitability for the project and the names of at least two
references.

We anticipate the start date for these positions to be September 1, 2016 or
soon thereafter depending on the time it takes to fill the positions.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160610/59961afa/attachment-0001.html>