205 computer-programmer-"https:"-"UCL" "https:" "https:" "https:" "CMU Portugal Program FCT" positions at Technical University of Munich
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
of TUM. Kontakt: andre.stiel@tum.de More Information https://www.helmholtz-munich.de/en/ibmi/rg-ibmi-celleng
-
-organization. For more information go to: https://www.bauschlab.org Your Qualification: High motivation, curiosity, and commitment to scientific excellence Master's degree (for PhD) or PhD (for PostDoc) in stem
-
)). By submitting your application, you confirm that you have acknowledged the above data protection information of TUM. Kontakt: anja.boeckl@tum.de More Information https://www.arc.ed.tum.de/en/and
-
. • Computational efficiency: Designing adaptive and physics-aware strategies (e.g., optimized residual selection, physics-based zooming) for real-time inference. • Practical usability: Developing robust, user
-
Systems Control Theory Formal Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members/prof-dr-ing
-
activities. ________________________________________ Candidate Requirements ✅ PhD degree in Engineering, Computer Science, Systems & Control, Statistics, Computational Physics, Computational Chemistry
-
continuing education programs for young scientists, a postdoc program, as well as other offerings from the Central Personnel Development Department and sports activities. Further notes We welcome applicants
-
experimental and computational research in the areas of novel aviation and maritime propulsion (combustor design, thermo-acoustics, SAF, H2, ammonia) as well as hydrogen mixtures and refrigerant safety
-
Universitätsklinikum rechts der Isar der TU München Ismaninger Str. 22, 81675 München http://kornlab.med.tum.de The position is suitable for disabled persons. Disabled applicants will be given preference in case
-
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