Sort by
Refine Your Search
-
Employer
-
Field
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
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
-
responsibilities: - implement, develop and extend methods for processing and analyzing single-cell RNAseq and protein profiles (CyTOF) - develop methods for second level analyses e.g. interaction networks
-
on collecting and processing personal data contained in your application in accordance with Art. 13 of the General Data Protection Regulation (GDPR)). By submitting your application, you confirm that you have