Logic List Mailing Archive

PhD student position and postdoctoral position in program logics, Erlangen (Germany)

In the Theoretical Computer Science group (Chair Computer Science 8) at 
the Friedrich-Alexander-Universität Erlangen-Nürnberg, we have a PhD and a 
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 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 project duration is three years.

Please enquire or apply by e-mail to

    {lutz.schroeder,sergey.goncharov}@fau.de

Best,

Sergey and Lutz



-- 
--------------------------------------
Prof. Dr. Lutz Schröder
Friedrich-Alexander-Universität
Erlangen-Nürnberg
Department of Computer Science
Chair 8 -- Theoretical Computer Science
Martensstr. 3
91058 Erlangen
+49-9131-85-64059
lutz.schroeder@informatik.uni-erlangen.de
lutz.schroeder@cs.fau.de
http://www8.cs.fau.de/~schroeder/
--------------------------------------







--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam