[TYPES/announce] Postdoctoral positions at Stanford University
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
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.
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...
More information about the Types-announce