Sort by
Refine Your Search
-
Category
-
Employer
- DAAD
- Ludwig-Maximilians-Universität München •
- Humboldt-Stiftung Foundation
- Nature Careers
- University of Bonn •
- Dresden University of Technology •
- Technical University of Munich
- University of Münster •
- University of Tübingen
- Charité - Universitätsmedizin Berlin •
- Friedrich Schiller University Jena •
- Hannover Medical School •
- Leibniz
- Leipzig University •
- Max Planck Institute for Extraterrestrial Physics •
- Max Planck Institute for Molecular Genetics •
- Max Planck Institute of Molecular Plant Physiology •
- RPTU University of Kaiserslautern-Landau •
- University of Bremen •
- University of Cologne •
- University of Konstanz •
- University of Potsdam •
- University of Regensburg •
- University of Stuttgart •
- University of Tübingen •
- 15 more »
- « less
-
Field
-
The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD position in the area of automatic formal verification of cyber-physical systems
-
at the Technical University of Munich offers a PhD position in the area of automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in
-
engineering a strong background in digital design, hardware description languages (e.g. Verilog, VHDL, SystemC), reconfigurable architectures (e.g. FPGA, CGRA) What we expect from you: above-average degree
-
, SystemC), reconfigurable architectures (e.g. FPGA, CGRA) What we expect from you: above-average degree achieved in short study period willingness and ability to think beyond the boundaries of your field
-
, or willingness to work with them Experience with multi-modal machine learning methods Familiarity with formal linguistics, particularly formal semantics and pragmatics We encourage applications from individuals
-
complementary methodologies (corpus data and offline experimental measures). On the theoretical side, the project will develop a formal compositional model that generates the observed parameters of variation and
-
organisation Internal Evaluation Procedures: The research school will organise a yearly formal meeting with a thesis advisory committee (TAC), where each PhD student will give an oral report on the progress
-
: https://www.medizin.uni-muenster.de/en/nmr/home/ Apply now via our career portal until 02.07.2025. Formal applications should include: Motivation letter (1 page) CV Certificates Field of expertise A
-
portal until 02.07.2025. Formal applications should include: Motivation letter (1 page) CV Certificates Field of expertise A reference letter is welcome Applications of women are specifically invited. In
-
component of the PhD program. PhD students will begin the program as a cohort and undergo onboarding together. A team of two senior scientists and two doctoral students formally represents the interests