66 software-formal-method-phd PhD positions at Technical University of Munich in Germany
Sort by
Refine Your Search
-
to an internationally competitive PhD degree and internationally peer-reviewed publications. The position will include significant involvement in selected nationally and internationally funded projects, such as various
-
. The project focuses on developing information theory, coding schemes, and other algorithmic methods for DNA data storage. Here is a video on the topic: https://www.bbc.com/future/article/20151122-this-is-how
-
enthusiastic PhD researchers. Tasks and project: As part of a research project, you will be part of a dedicated group developing software for autonomous vehicles. Your research project will focus on quantifying
-
qualification program for PhD students containing excellent multidisciplinary training with tailor-made subject-based and soft skills courses, annual retreats, summer school, and a supervision concept. More
-
Munich in Germany and invites applications for a PhD position (m/f/d) on the experimental realization of superconducting microwave single-photon detector. The position is offered in a multidisciplinary
-
quality control tools for distributed models, and iii) robustness to data and model poisoning attacks. In this context, we are looking for a PhD Candidate who has a strong background in machine/deep
-
quality control tools for distributed models, and iii) robustness to data and model poisoning attacks. In this context, we are looking for a PhD Candidate who has a strong background in machine/deep
-
of the doctoral project is positively evaluated after the first two years. CMS’s inter-disciplinary team is performing research in the broad field of computational methods for the built environment. Particular
-
13.04.2021, Wissenschaftliches Personal The chair of Software Engineering for Business Information Systems (sebis) at the Technical University of Munich is looking for an excellent candidate for a
-
13.01.2020, Wissenschaftliches Personal PhD position at the Chair of Algorithms and Complexity. Candidate shall work on approximation algorithms for scheduling problems in parallel and distributed