Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD/Postdoc Positions in Theoretical Computer ...


view this post on Zulip Email Gateway (Aug 18 2022 at 19:22):

From: Lutz Schroeder <Lutz.Schroeder@dfki.de>
[I would be grateful for further distribution of the job advertisement
below]

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@cs.fau.de. There is no particular application deadline;
positions will be filled when suitable candidates are found.

Best regards,

Lutz


Last updated: Mar 29 2024 at 12:28 UTC