Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Technical University of Munich
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- DAAD
- Nature Careers
- Max Planck Institute for Multidisciplinary Sciences, Göttingen
- Singapore Institute of Technology
- Harvard University
- University of British Columbia
- ASNR
- Aarhus University
- Florida Atlantic University
- Fritz Haber Institute of the Max Planck Society, Berlin
- Ghent University
- INESC TEC
- Instituto de Estudos Avançados, Universidade de São Paulo (IEA-USP)
- KNAW
- Max Planck Institute (MPI) for Psycholinguistics
- Max Planck Institute for Demographic Research (MPIDR)
- Natural Sciences and Engineering Research Council of Canada
- Simon Fraser University
- University of Antwerp
- University of Glasgow
- University of Victoria
- 13 more »
- « less
-
Field
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
of any such books or articles for inclusion in our database. Application procedure All applications should contain a full copy of the proposal submitted for post-doctoral funding, including letters
-
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