Sort by
Refine Your Search
-
scholarship income are mutually exclusive. Application Papers Application forms and further information on the application procedure are available here . Application Deadline Applications are accepted all year
-
Application Papers Application forms and further information on the application procedure are available here . Application Deadline Applications are welcome at any time, but must be submitted at the latest 6
-
: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers
-
a PhD student or Postdoc), please do not hesitate to contact us! Currently, we keep the application process rather informal, but obviously would be interested in your CV and background (if applicable