Sort by
Refine Your Search
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
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
Enter an email to receive alerts for parallel-processing-bioinformatics-"DIFFER" positions