3 developer-"https:"-"https:"-"https:" Postdoctoral scholarships at Technical University of Munich
Sort by
Refine Your Search
-
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
-
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
Enter an email to receive alerts for developer-"https:"-"https:"-"https:" positions