[TYPES/announce] PhD and postdoc positions at the Schaffhausen Institute of Technology

[Bertrand Meyer]

The Chair of Software Engineering (Prof. Bertrand Meyer), at the newly
created Schaffhausen Institute of Technology <https://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.

 The PhD program is conducted in cooperation with partner universities. 

 Interested candidates should send a CV and relevant documents or links to
bm at sit.org <mailto:xxx at sit.org> . They are also welcome to contact Prof.
Meyer for details.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200823/8669d2d8/attachment-0001.htm>