Logic List Mailing Archive

PhD student position on coalgebraic model checking, Erlangen-Nuernberg (Germany)

We are pleased to announce an opening for a fully funded three-year PhD position
(E-13 on the German TV-L scale, full time, no teaching obligation) at
Friedrich-Alexander-Universität Erlangen-Nürnberg, located at the Chair of
Theoretical Computer Science. The position is within the new DFG project
"Coalgebraic Model Checking", with Stefan Milius and Lutz Schröder as PIs and
with Daniel Hausmann collaborating on a second project position. The aim of the
project is to develop a generic framework for model checking a wide variety of
logics beyond the standard relational setting, such as probabilistic, graded, or
alternating-time logics, based on the successful paradigm of coalgebraic logic.

The position is embedded into a large and active research group with a highly
collaborative spirit, see https://www8.cs.fau.de/ for more details. Erlangen's
technical campus is situated within pleasant Franconia, and close to the vibrant
city of Nuremberg. Please send applications or further inquiries to the PIs at

   stefan.milius@fau.de   or
   lutz.schroeder@fau.de

Best wishes,

Lutz and Stefan




--
[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