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
-
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
-
, Professor for Representation Theory at the Department of Mathematics, part of the TUM School of Computation, Information and Technology (CIT), located on the Garching Campus. The group is seeking a highly
-
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
-
Identify new applications for Machine Learning in science, engineering, and technology Develop, implement and refine ML techniques Implement parallel ML training on the High Performance Computers Engage in
-
of AI models and LLMs specifically tailored for data mining in the physical sciences and engineering Fine-tuning and evaluation of open-source LLMs (e.g., Teuken 7B, Llama 3, Mistral 7B) specifically