15 web-programmer-developer-"INSERM" Postdoctoral scholarships at Technical University of Munich
-
Position in Numerical Mathematics m/f/d, 100%, 2 years+ As part of the second phase of the DFG funded Priority Programme SPP2311, the Chair for Numerical Mathematics under the leadership of Barbara Wohlmuth
-
- PhD student in 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
-
Priority Programme SPP2311 (German Research Council), the Chair of Numerical Mathematics under the leadership of Frau Prof. Dr. Barbara Wohlmuth is seeking a candidate for a PhD or postdoctoral position (100
-
Gittereichtheorien“, das im Rahmen des Emmy Noether-Programms der DFG gefördert wird. Ziel des Projekts ist die Entwicklung digitaler Quantenalgorithmen zur Simulation nichtabelscher Gittereichtheorien. Wir suchen
-
well as application optimization. This research focuses on the development of a parallel debugging framework tailored for custom RISC-V instruc-tion set extensions. The goal is to enable efficient execution tracing
-
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
-
those tools for practical applications. For an overview of our previous work, please check out our web pages on software/design automation for microfluidics . Conventional Circuits and Systems: We develop
-
smart grid). While there has been tremendous progress in formal verification of cyber-physical systems, existing approaches still require expert knowledge. The main goal of this project is to develop
-
journals (e.g., ICRA, RSS, IJRR) Active participation in European robotics and AI research initiatives Support for personal and professional development, including teaching, supervision, and leadership roles
-
and industry partners A diverse range of activities in exciting, forward-looking, and varied research fields and projects, with numerous development opportunities Modern hardware and infrastructure