Sort by
Refine Your Search
-
Employer
-
Field
-
quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky
-
fundamental mechanisms underlying development of diseases related to desmosome disorders such as pemphigus and inflammatory bowel diseases. The final goal will be to comprehensively understand the multiple
-
research group of Dr. Torsten V. Zache at the Technical University of Munich. Our group is broadly interested in the theoretical development and application of quantum technologies to fundamental physics
-
data analytics frameworks (Hadoop, Spark, Flink, etc.) is desired - Interest in the development of software systems, very good knowledge and skills in programming with standard programming languages