PhD and postdoc positions in verification in Switzerland
My group, the Chair of Software Engineering, at the newly created Schaffhausen Institute of Technology has open positions for both PhD students and postdocs. We are looking for candidates with a passion for reliable software and a mix of theoretical knowledge and practical experience in software engineering. Candidates should have degrees in computer science or related fields: a doctorate for postdoc positions, a master’s degree for PhD positions. Postdoc candidates should have a substantial publication record. Experience in one or more of the following fields is a plus:
- Software verification (axiomatic, model-checking, abstract interpretation etc.).
- Advanced techniques of software testing.
- Formal methods, semantics of programming languages, type theory.
- Design by Contract, Eiffel, techniques of correctness-by-construction.
- Cybersecurity.
Compensation at both levels is attractive. The PhD program is conducted in cooperation with partner universities.
Interested candidates should send a CV and relevant documents or links to bm@sit.org. They are also welcome to contact me for details.
Eiffel Software
Home page at ETH
Informatics Europe
LASER summer school
Propulsion Academy