[TYPES/announce] postdoc positions in formal methods

[Clark Barrett]

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 the
website: http://theory.stanford.edu/~barrett/opportunities/stanford.html

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:
- 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

Hardware Verification

The second position will focus on building a new generaion 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:
- a PhD in Computer Science or a closely related field
- strong programming skills, ideally in C++ and/or Python
- a strong publication record, ideally in formal methods or a related feild

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 at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180615/92ab154e/attachment-0001.html>