13 software-verification Postdoctoral research jobs at Technical University of Munich
-
on formal verification and reachability analysis using logical zonotopes, with applications in digital circuit verification and model checking. Candidates should have a strong mathematical background and
-
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
-
single PDF file (including an introductory letter, strong CV with a list of publications and software contributions (links to GitHub welcome), qualifications, two work samples, e.g., papers or code
-
, 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