4 developer-"https:"-"https:"-"https:"-"FCiências" Postdoctoral scholarships in Germany
-
The Leibniz Institute for Solid State and Materials Research Dresden e. V. (IFW Dresden) conducts modern materials research on a scientific basis for the development of new and sustainable materials
-
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