[TYPES/announce] Postdoctoral positions at Stanford University

Clark Barrett barrett at cs.nyu.edu
Fri Jun 10 14:02:37 EDT 2016

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).


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

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>

More information about the Types-announce mailing list