Postdoctoral positions in Formal Methods at Stanford University

Two postdoctoral research positions are available at Stanford University under Professor Clark Barrett. Applications are being accepted now with a target start date for both positions of Fall 2018. Starting salary is $80,000 per year and includes benefits. Any updates will be posted on this website.


Verification of Neural Networks

The first position will focus on tools and techniques for applying formal verification to deep neural networks. The project aims to extend and apply the highly-successful Reluplex tool. Applications include safety-critical systems such as self-driving cars and drone aircraft.

Qualifications:

The ideal applicant must have:

Hardware Verification

The second position will focus on building a new generation of open-source tools for hardware verification and model checking. This person will work closely with the Stanford Agile Hardware Center and the CVC4 SMT Solver team.

Qualifications:

The ideal applicant must have: In addition, in-depth knowledge of the inner workings of SMT solvers is a plus, as is familiarity with digital design and existing hardware verification techniques.


Stanford University

Stanford University is among the top universities in the world in computer science research. Located in the heart of silicon valley, it is known for an exciting and fast-paced research environment combining exceptional academic talent with abundant opportunities to collaborate with top high-tech companies.

The weather is also really nice.


Application details

Questions and applications can be sent to barrett@cs.stanford.edu. Applicants should include their CV, including a list of publications, together with a brief statement outlining their suitability for the project and the names of at least two references.