The Chair of Programming Methodology<http://www.pm.inf.ethz.ch/> at ETH Zurich is looking for excellent candidates for newly-opened PhD positions. The successful applicant will join our research group and begin work along on a new project for two PhD candidates, beginning in 2017. The project will investigate the question of how to connect modern capability-based type systems (such as that employed by the Rust programming language), and formal program reasoning techniques, in order to develop a new kind of lightweight verification tool specifically targeted at enabling everyday programmers to reason about the correctness of their code. This work is part of our ongoing Viper project, see our research page<http://www.pm.inf.ethz.ch/research.html>.
Key requirements for successful applications: * Strong commitment to research * Interest in programming languages, tool building, formal reasoning, and software correctness * Excellent M.Sc. or B.Sc. degree in Computer Science or in a related subject with a strong Computer Science component * Proficiency in English and excellent communication skills, both oral and written Applications and questions should be sent to Mrs. Marlies Weissert at [email protected]<mailto://[email protected]>. The application should include a CV and a description of research interests. We will consider applications until the positions are filled. The start date is negotiable. More details about the positions: * PhD and post-doc positions are fully funded and have an attractive salary and social benefits. * Full scholarships are available for outstanding B.Sc. students interested in the PhD. * ETH has one of the top computer science departments in the world: CS University Rankings<http://www.topuniversities.com/university-rankings/faculty-rankings/engineering-and-technology/2015> * Zurich is consistently ranked among the top destinations in the world for quality of life * General information on doctoral studies at ETH is available at www.inf.ethz.ch/education/ds<http://www.inf.ethz.ch/doctorate.html>
_______________________________________________ Om-announce mailing list [email protected] http://openmath.org/mailman/listinfo/om-announce
