Logic List Mailing Archive

PhD student and postdoctoral positions in theoretical computer science, Erlangen (Germany)

In the newly founded Theoretical Computer Science group (Chair 8) at the 
University of Erlangen-Nrnberg, several research positions are available 
that can be filled at the doctoral or post-doctoral level. These include 
project positions of up to two years, in the TV-L E13 or E14 pay scale 
depending on qualification of the applicant; project topics include

 	- coalgebraic logic
 	- probabilistic description logic
 	- formal methods in mechanical engineering.

Additionally, at least one position is available that is not tied to a 
specific research project but does carry a teaching obligation of 5h per 
week; in this case, research work can be positioned in any of the core 
fields of the group including

 	- modal logic
 	- knowledge representation
 	- coalgebra
 	- formal methods
 	- program semantics
 	- applications of semantic technologies

Such positions can be filled at TV-L E13 for an initial appointment of 
three years, with a possibility of extension for another three years 
subject to provisions by German laws on temporal employment in academia; 
postdoctoral applicants from EU countries can be appointed at the A13 
payscale ("akademischer Rat") (which pays better and has better benefits) 
for two periods of three years, with a possible extension of two periods 
of two years at the A14 payscale ("akademischer Oberrat") for candidates 
who successfully complete a habilitation during the first six years.

Please send applications consisting of a cover letter, resume, and contact 
details of three references by email to lutz.schroeder@cs.fau.de. There is no 
particular application deadline; positions will be filled when suitable 
candidates are found.

Best regards,

Lutz

--------------------------------------
Prof. Dr. Lutz Schrder
Chair of Theoretical Computer Science
Department of Computer Science
Friedrich-Alexander-Universitt
Erlangen-Nrnberg
lutz.schroeder@informatik.uni-erlangen.de
lutz.schroeder@cs.fau.de
--------------------------------------