[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 barr...@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.