* Postdoctoral position in FAU Erlangen-Nürnberg
@ 2020-01-07 17:11 Sergey Goncharov
0 siblings, 0 replies; only message in thread
From: Sergey Goncharov @ 2020-01-07 17:11 UTC (permalink / raw)
To: Categories list
[We would be grateful for further distribution of the job advertisement
below]
In the Theoretical Computer Science group (Chair Computer Science 8) at
the Friedrich-Alexander-Universität Erlangen-Nürnberg, 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öder. 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.
Please enquire or apply by e-mail to
{sergey.goncharov,lutz.schroeder}@fau.de
Best,
Sergey and Lutz
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-01-07 17:11 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-01-07 17:11 Postdoctoral position in FAU Erlangen-Nürnberg Sergey Goncharov
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).