Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Technical University of Munich
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- DAAD
- Max Planck Institute (MPI) for Psycholinguistics
- Nature Careers
- Singapore Institute of Technology
- Université de Limoges
- Harvard University
- INESC TEC
- University of British Columbia
- Aarhus University
- ETH Zurich
- ETH Zürich
- FAPESP - São Paulo Research Foundation
- Ghent University
- Instituto Politécnico de Bragança
- Instituto de Estudos Avançados, Universidade de São Paulo (IEA-USP)
- KNAW
- Max Planck Institute for Demographic Research (MPIDR)
- NATIONAL LAND SURVEY OF FINLAND
- Universidade do Minho - ISISE
- University of Glasgow
- University of Lille
- University of Montpellier
- University of Victoria
- 15 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
-
for their use as sensors or improving signal acquisition by modern image processing based on artificial intelligence. Magnetic imaging and near-field microscopy. We operate a scanning probe microscope that can
-
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