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
-
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
Searches related to biomedical image processing
Enter an email to receive alerts for biomedical-image-processing positions