Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- DAAD
- Technical University of Munich
- Forschungszentrum Jülich
- Leibniz
- Nature Careers
- Ludwig-Maximilians-Universität München •
- Heidelberg University
- University of Tübingen
- University of Göttingen •
- Fraunhofer-Gesellschaft
- University of Bonn •
- Friedrich Schiller University Jena •
- Max Planck Institute for Biogeochemistry, Jena
- University of Münster •
- Heidelberg University •
- Helmholtz-Zentrum Geesthacht
- Humboldt-Stiftung Foundation
- Max Planck Institute for Multidisciplinary Sciences, Göttingen
- Universität Hamburg •
- Hannover Medical School •
- Humboldt-Universität zu Berlin •
- Justus Liebig University Giessen •
- Ruhr-Universität Bochum •
- University of Bayreuth •
- University of Bremen •
- University of Cologne •
- University of Stuttgart •
- University of Tübingen •
- ;
- Dresden University of Technology •
- FAU Erlangen-Nürnberg •
- Goethe University Frankfurt •
- Humboldt Universität zu Berlin / Leibniz Universität Hannover
- Karlsruhe Institute of Technology •
- Leipzig University •
- Max Planck Institutes
- Saarland University •
- University of Bamberg •
- University of Konstanz •
- University of Potsdam •
- University of Regensburg •
- ; Saarland University
- Administrative Headquarters of the Max Planck Society, Munich
- Bielefeld University •
- Brandenburg University of Technology Cottbus-Senftenberg •
- CISPA (at University of Stuttgart)
- Carl von Ossietzky University of Oldenburg •
- Charité - Universitätsmedizin Berlin •
- Deutsches Elektronen-Synchrotron DESY •
- EBS Universität für Wirtschaft und Recht •
- European Magnetism Association EMA
- Free University of Berlin
- Freie Universität Berlin •
- German Cancer Research Center (DKFZ) Heidelberg •
- Heinrich Heine University Düsseldorf •
- Helmholtz Centre for Environmental Research - UFZ •
- Helmholtz-Zentrum Dresden-Rossendorf •
- Hertie School •
- Johannes Gutenberg University Mainz •
- Leibniz Institute for Natural Product Research and Infection Biology - Hans Knöll Institute •
- Leibniz Institute of Ecological Urban and Regional Development (IOER) •
- MPINB
- Max Planck Institute for Biogeochemistry •
- Max Planck Institute for Biological Intelligence •
- Max Planck Institute for Chemical Physics of Solids •
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute for Extraterrestrial Physics •
- Max Planck Institute for Human Cognitive and Brain Sciences •
- Max Planck Institute for Infection Biology •
- Max Planck Institute for Informatics •
- Max Planck Institute for Mathematics •
- Max Planck Institute for Molecular Genetics •
- Max Planck Institute for Molecular Genetics, Berlin
- Max Planck Institute for Neurobiology of Behavior - caesar, Bonn
- Max Planck Institute for Plant Breeding Research, Köln
- Max Planck Institute for Solid State Research •
- Max Planck Institute for Sustainable Materials •
- Max Planck Institute for the Physics of Complex Systems •
- Max Planck Institute for the Science of Light •
- Max Planck Institute for the Structure and Dynamics of Matter •
- Max Planck Institute for the Study of Societies •
- Max Planck Institute of Animal Behavior •
- Max Planck Institute of Biochemistry, Martinsried
- Max Planck Institute of Immunobiology and Epigenetics •
- Max Planck Institute of Microstructure Physics •
- Max Planck Institute of Molecular Plant Physiology •
- Max Planck Law •
- Max Planck School of Cognition •
- Max-Planck-Institut für Kohlenforschung, Mülheim an der Ruhr
- Philipps-Universität Marburg •
- RPTU University of Kaiserslautern-Landau •
- TRON – Translational Oncology at the University Medical Center of the Johannes Gutenberg University Mainz •
- TU Bergakademie Freiberg
- Technical University of Darmstadt •
- Technische Universität Berlin •
- Technische Universität München
- The Max Planck Institute for Neurobiology of Behavior – caesar •
- Ulm University •
- University of Duisburg-Essen •
- University of Education Freiburg •
- 90 more »
- « less
-
Field
-
to reason about software (e.g., LLM agents for finding and fixing bugs) Static and dynamic program analysis (e.g., to infer specifications) Test input generation (e.g., to compare the behavior of old and new
-
to reason about software (e.g., LLM agents for finding and fixing bugs)Static and dynamic program analysis (e.g., to infer specifications)Test input generation (e.g., to compare the behavior of old and new
-
and technical infrastructure Continuous mentoring from your scientific supervisor Dynamic, inclusive and diverse working group and work environment 30 days of annual leave (depending on agreed working
-
-time / part-time full-time Programme duration 6 semesters Beginning Only for doctoral programmes: any time Application deadline No deadlines Tuition fees per semester in EUR None Combined Master's degree
-
Description TUD Dresden University of Technology, as a University of Excellence, is one of the leading and most dynamic research institutions in the country. The Chair of Mobility System Planning is
-
their interaction for their mutual benefit. In view of these considerations, priority is given to three interconnected research areas: Literature, Culture, and Society Theories of Literature and Culture Literary
-
lectures, workshops and colloquia in the curriculum of the doctoral programme are held in English. Full-time / part-time full-time Programme duration 6 semesters Beginning Only for doctoral programmes: any
-
The Max Planck Institute for Neurobiology of Behavior – caesar • | Bonn, Nordrhein Westfalen | Germany | 2 days ago
not required to be admitted, but German language courses are offered for free for interested PhD students. Full-time / part-time full-time Programme duration 8 semesters Beginning Only for doctoral
-
positions will be part of a dynamic and collaborative team that conducts cutting-edge Data Science research and will provide opportunities to work with leading experts in the field of Responsible Data Science
-
August each year. Course work (four months): At Giessen or Hohenheim, three modules and exams are selected from areas such as economic theory, development strategies, project planning, management, computer