38 software-testing-short-course Postdoctoral positions at Technical University of Munich
Sort by
Refine Your Search
-
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
-
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
-
explore new topics while playing nice in a team. Your main task will be the development, conceptualization, and eventual implementation of new design automation methods and software for your field, e.g
-
Models (LLMs) to create the methodological foundation for next-generation AI systems that clinicians can truly understand and trust. All components will be released as open-source software and reusable
-
software programming in C++/Python, ROS and MATLAB. Excellent command of English; German language skills are a plus. High motivation and the ability to work independently as well as within an international
-
. The new system to be developed will be tested and optimized with an existing CargoKite ship prototype in real operation. Previous Work https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10530091 https
-
, optimization, and problem analysis Strong programming skills (e.g., in Python, C++, or other programming language) Experience in working with off-the-shelf optimization software, such as Gurobi or IBM ILOG
-
software. • Proficiency in English, both written and spoken. Knowledge of German is not required. In addition, the successful candidate will be highly motivated, with the ability to work both independently
-
purely motor-powered ships and will be marketable as an independent product. The new system to be developed will be tested and optimized with an existing CargoKite ship prototype in real operation
-
partner research institutions. You will support us in making these cooperations efficient and productive. You will also support our teaching activities teaching and improving courses and supervising student