Research and Teaching Assistant Position at University of Koblenz-Landau:

The position is 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.

Code number of position: 115/2011. Application deadline: 3 November 2011. For more information, see http://www.stellenwerk-koblenz-landau.de/uploads/tx_exinitswkjobs/.