PhD position University Koblenz-Landau

[Viorica Sofronie-Stokkermans]

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)

in the area of formal methods and theoretical computer science, with
emphasis on logic, automated reasoning, decision procedures and
verification (in the group of Prof. Dr. Viorica Sofronie-Stokkermans).

The position is initially for 3 years, with the possibility of extension.
The teaching obligations are of 4h/week during the semesters.
There is the possibility of pursuing a PhD during this time.

Applicants should have a MSc degree (or comparable University degree)
in Computer Science, Mathematics or a related discipline.

Further details (in German) can be found at:
http://www.stellenwerk-koblenz-landau.de/uploads/tx_exinitswkjobs/115_11_FB_4_1_0_EGr_13_TV_L_Institut_f_Informatik_Prof_Dr_Sofronie_Stokkermans.pdf

Application letters with specific reference to the position (115/2011)
must be sent by e-mail until 3 November 2011 (preferably in pdf format)
to bewerbung at uni-koblenz-landau.de.

Code number of position: 115/2011
Application deadline:    3 November 2011