Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
- PhD student in 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
-
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
-
mathematics, computer science, physics, biomedical or electrical engineering or similar disciplines. Good programming expertise (Matlab, C++, Python or equivalent) and experience with the Linux operating system
-
] Subject Area: Representation Theory Appl Deadline: 2025/07/31 11:59PM (posted 2025/07/01) Position Description: Position Description The TUM School of Computation, Information and Technology at the Technical
-
of Computation, Information and Technology (CIT), located on the Garching Campus, starting October 01, 2025 or later. The group is seeking a highly qualified candidate for a postdoctoral position who possesses
-
Green Deal and the lignite phase-out. Funded by the German Federal Ministry of Education and Research, the project focuses on two central aspects: accelerated technology development and the sustainable
-
mass transfer, and process engineering Extensive experience in modeling and simulation and ideally knowledge of CFD software (e.g., Ansys Fluent, OpenFOAM, COMSOL) Very good programming skills
-
expertise from a wide range of partners in academia and industry, with both application and system expertise. About us CAPS is part of TUM’s department of Computer Engineering, one of the leading CE
-
expertise in at least one of the following areas: Synthetic biology Protein design Human T cell immunobiology T cell engineering Coding skills and familiarity with software such as Rosetta, ProteinMPNN
-
Your Job: Developing and implementing QC algorithms (QAA, QAOA, QSVM), quantum AI algorithms, use case adapted algorithms to test and benchmark latest technology focusing on gate-based QC Advancing