Sort by
Refine Your Search
-
Category
-
Field
-
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
-
, 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
-
CV and a brief track record (publications, projects, software, funding experience if applicable) to florian.hinterwimmer@tum.de . We appreciate your interest in the Technical University of Munich and
-
brief track record (e.g., publications, projects, software) to florian.hinterwimmer@tum.de . Severely disabled applicants will be given preferential consideration if equally qualified. Application costs
-
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
-
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
-
energy system optimization and control Engineering, Applied Mathematics or a comparable quantitative discipline Very good software development and data analysis skills Inquisitive and passionate about
-
Advanced software development and data analytics skills Hands-on mentality with first practical experience in developing innovative technology Inquisitive and passionate about research and knowledge transfer