Sort by
Refine Your Search
-
: 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
Searches related to parallel processing
Enter an email to receive alerts for parallel-processing positions