PhD student and postdoctoral positions in Theoretical Computer Science, FAU Erlangen-Nürnberg (Germany)

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; project topics include coalgebraic logic, probabilistic description logic and 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 and applications of semantic technologies

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 and 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 and 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.

For more information, see http://www8.informatik.uni-erlangen.de/ or contact lutz.schroeder at informatik.uni-erlangen.de.

There is no particular application deadline; positions will be filled when suitable candidates are found. For more information, see here or http://www8.informatik.uni-erlangen.de/, or contact lutz.schroeder at informatik.uni-erlangen.de.