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