Research and teaching assistant position (PhD or Postdoc level) in Formal Methods and Theoretical Computer Science, University Koblenz-Landau (Germany)

The department for Computer Science of the University Koblenz-Landau (Campus Koblenz) invites applications for the position of a research and teaching assistant (wissenschaftlicher Mitarbeiter/Mitarbeiterin, 1,0 EGr. 13 TV-L) at PhD or Postdoc level, in the research group ``Formal methods and theoretical computer science''(Prof. Dr. Viorica Sofronie-Stokkermans).

The position is available for 3 years; the teaching obligations are of 8h/week during the semesters. In addition to the teaching obligations there is the possibility of pursuing a PhD.
Applicants should have a MSc degree (or comparable University degree) in Computer Science, Mathematics or a related discipline.

Code number of position: 118/2016.  Application letters (including a CV) must be sent by e-mail as a single .pdf file with specific reference to the position (118/2016) to Prof. Dr. Viorica Sofronie-Stokkermans (E-Mail: sofronie at uni-koblenz.de). To receive full consideration, applications should be received by October 21, 2016. Applications sent after this date will also be considered until the position is filled.