[loginf] PhD position in formal methods for learning tools at the University of Kassel

Martin Lange martin.lange at uni-kassel.de
Wed Oct 16 16:17:05 CEST 2019

The research group "Theoretical Computer Science / Formal Methods" of 
the University of Kassel,
Germany, offers a full-time

    PhD student position

in the area of formal methods for didactic tools. It is available 
immediately for a duration of three
years with the possibility of extension for another two years. The 
salary is paid according to TV-H
EG 13 (approx. 4000€/month before taxes, depending on qualifications).

The successful candidate is expected to work on the development of 
formal methods (logic, model
checking, SAT/SMT-solving, theorem proving, etc.) with applications to 
learning tools for use in
science classes. She/he should have an MSc degree in computer science, 
bio-informatics or a
corresponding teaching degree and have good knowledge in theoretical 
computer science and
programming skills.

The position initially comes with teaching duties of 4h/week which is 
expected to be reduced to
2h/week from spring 2020 on for about 3 years. Since German is the 
predominant teaching
language in the computer science BSc curriculum, the successful 
candidate is expected to acquire
a sufficient level of fluency in German for teaching purposes.

For further details please contact Prof. Martin Lange or Dr. Norbert 
Hundeshagen via {mlange,
hundeshagen} at uni-kassel.de, or via +49 561 804 {6261, 6626}.

The official job announcement (in German), including instructions on how 
to apply, can be found

Prof. Dr. Martin Lange          http://www.uni-kassel.de/~mlange
Elect. Engineering & Comp. Science    martin.lange at uni-kassel.de
University of Kassel, Germany                 +49/0 561 804 6261

More information about the loginf mailing list