-
conducted in close collaboration with Everllence (formally known as MAN Energy Solutions). The developed methods have to be tested in simulation and on real engines. Previous Work https://openreview.net/pdf
-
-Tracking, and their responsible applications. Ideal candidates will have: An M.Sc. degree (or equivalent) in Computer Science, Game Engineering, Mathematics, Statistics, or related fields. Strong programming
-
06.09.2021, Academic staff The Institute for Communications Engineering is currently offering seven positions for PhD or postdoctoral candidates for the project "6G-life" which is funded by
-
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