Postdoctoral position (1y) in theoretical computer science, Erlangen (Germany)

In the Theoretical Computer Science group (Chair Computer Science 8) at the Friedrich-Alexander-Universiẗat Erlangen-N̈urnberg, we have a *one-year* postdoc position available in the DFG-Project "A High Level Language for Programming and Specifying Multi-Effect Algorithms", which is concerned with monad-based semantics and program logics for side-effecting (guarded) iteration and recursion. The technical part of the project proposal can be made available on request.

The project is supervised by Sergey Goncharov and Lutz Schr̈oder. The positions are in the TV-L E13 or E14 pay scale depending on qualification of the applicant. The position is available immediately but can also be filled later.