PhD and postdoc positions at Schaffhausen Institute of Technology
Positions in software verification
in
Job vacancies
by
Bertrand Meyer on
September 2, 2019
The Chair of Software and Security (Prof. Bertrand Meyer) at the newly created Schaffhausen Institute of Technology (http://sit.org)
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.