Sort by
Refine Your Search
-
and diverse project within a nationwide research network with numerous opportunities for development, working within a dynamic and international team of scientists from various disciplines, as
-
and strengthen their skills to supervise (future) doctoral students and to establish professional networks through contact with other Pre-Doc awardees both awardees to participate in a wide framework
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
pages or friendships between users in a social network. Due to the large variety in data science tasks performed with graph-structured data, different specialized systems have been developed, such as
-
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
-
., for quantum computing, microfluidics, or conventional circuits and systems. Our focus on interdisciplinary partnerships and networks will enable you to meet many interesting people (at places all over the world