[TYPES/announce] PhD/Postdoc Positions in Theoretical Computer Science at FAU Erlangen-Nürnberg

Lutz Schroeder Lutz.Schroeder at dfki.de
Tue Mar 27 16:28:06 EDT 2012

[I would be grateful for further distribution of the job advertisement 

In the newly founded Theoretical Computer Science group (Chair 8) at the 
University of Erlangen-Nürnberg, 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 at cs.fau.de. There is no particular application deadline; 
positions will be filled when suitable candidates are found.

Best regards,


Prof. Dr. Lutz Schröder
Chair of Theoretical Computer Science
Department of Computer Science
lutz.schroeder at informatik.uni-erlangen.de
lutz.schroeder at cs.fau.de

More information about the Types-announce mailing list