Sort by
Refine Your Search
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in quantitative verification interested in co-developing Automata Tutor - main...
-
within the team and with external partners, contribution to teaching activities, and active engagement in the broader academic life of the group. Work Environment The successful candidates will join a
-
machine learning-based systems to integrate more renewable energy into our energy systems and make energy use more efficient. We develop new optimization methods, machine learning algorithms, and
-
stage. This is a transport ship with kite-based propulsion and an additional diesel engine to bridge port trips and wind lulls. In this project, we develop with CargoKite a new type of collision avoidance
-
the brain and nervous system. Our goal is to contribute to neurotechnologies that are minimally invasive, and possibly implanted with no surgical intervention. Specifically, we develop wireless nanoelectrodes
-
and startups. It is committed to excellence in research and teaching, interdisciplinary education, and the active promotion of promising young scientists. TUM benefits from the healthy mix of companies
-
and external collaborators, contributing to teaching activities, and participating in various activities of the group. The successful candidate will have the opportunity to engage in research within a
-
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
-
with reference to this posting by Monday, June 30th, 2025 with the following documents: • a compelling cover-letter • your CV and final transcript of records from your most recent educational phase (e.g
-
on the design and evaluation of innovative data- and machine learning-based systems to integrate more renewable energy into our energy systems and make energy use more efficient. We develop new optimization