Sort by
Refine Your Search
-
/11250664 https://www.jmlr.org/papers/v26/25-1161.html Job Specifications For PhD applicants: Excellent Master’s degree (or equivalent) in engineering, computer science, or related disciplines (typically
-
and are not yet used regularly in industrial development processes. We believe that fully automating the verification process is a crucial step towards a broad acceptance of this technology. Our pre
-
-Tracking, and their responsible applications. Ideal candidates will have: An M.Sc. degree (or equivalent) in Computer Science, Game Engineering, Mathematics, Statistics, or related fields. Strong programming
-
@tum.de) Your qualifications ▪ Master’s or doctoral degree in electrical engineering, communications engineering, mathematics, physics (or similar) ▪ Interest in theoretical work with high practical
-
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
-
Max Planck Institute for Multidisciplinary Sciences, Göttingen | Gottingen, Niedersachsen | Germany | about 2 months ago
learning. It also offers the opportunity to work with data from the European XFEL facility at DESY. Project website Your profile Eligible candidates have strong skills in computational physics and
-
Max Planck Institute for Multidisciplinary Sciences, Göttingen | Gottingen, Niedersachsen | Germany | 2 months ago
skills in computational molecular (bio)physics, statistical mechanics, scientific computing and also a keen interest in interdisciplinary research and collaboration with experimental groups. PhD students
-
Sciences (Physics), Technical University of Munich, Garching Campus, Starting Date: October 2025 Wir freuen uns auf Bewerbungen für eine Postdoc- und eine Promotionsstelle im Bereich der theoretischen