[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 Theories (SMT). Qualifications 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. Application details Interested applicants should send their CV, including a list of publications, in PDF to barr...@cs.stanford.edu together with a statement outlining their suitability for the project and the names of at least two references. 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.