[TYPES/announce] Postdoctoral position at Stanford University

[Clark Barrett]

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

This is a call for interest for postdoctoral research at Stanford
University under Professor Clark Barrett.

The position will focus on extending and adapting techniques from
conventional program analysis to analyze new programming paradigms and
system architectures that may include machine-learning components,
specifically deep neural networks.  The project aims to extend and apply
the Reluplex tool (see CAV '17 paper at
http://theory.stanford.edu/~barrett/pubs/KBD+17-abstract.html).
Applications include safety-critical systems such as self-driving cars and
drone aircraft.

Qualifications:

The ideal applicant must have:
* a PhD in Computer Science or a closely related field
* strong programming skills, especially in C++
* a strong publication record in programming languages and/or formal methods

In addition, in-depth knowledge of the inner workings of SMT solvers is a
plus, as is familiarity with linear programming techniques.

Application details

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

The position is available now and will be available until filled.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180226/b0e8953c/attachment-0001.html>