63 proof-checking-postdoc-computer-science-logic PhD positions in computer-science in Germany
Sort by
Refine Your Search
-
Category
-
Employer
- Technical University of Munich
- DAAD
- Forschungszentrum Jülich
- Brandenburg University of Technology Cottbus-Senftenberg •
- Deutsches Krebsforschungszentrum
- Helmholtz Zentrum München - Deutsches Forschungszentrum für Gesundheit und Umwelt
- International PhD Programme (IPP) Mainz
- Dresden University of Technology •
- Karlsruhe Institute of Technology •
- Max Planck Institutes
- ;
- Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung
- BAM Bundesanstalt für Materialforschung und -prüfung
- Fulda University of Applied Sciences •
- German Cancer Research Center in the Helmholtz Association (DKFZ)
- Hannover Medical School
- Helmholtz Association of German Research Centres
- Institute of Molecular Biology (IMB) •
- Leibniz Institute for Natural Product Research and Infection Biology
- Leibniz Institute for Natural Product Research and Infection Biology - Hans Knöll Institute •
- MAX PLANCK Institute for Human Cognitive and Brain Sciences
- Max Planck Institute for Biology of Ageing, Cologne
- Max Planck Institute for Human Cognitive and Brain Sciences •
- Max Planck Institute for Informatics •
- Max Planck Institute for Solid State Research, Stuttgart
- Max Planck Institute for the History of Science •
- Max Planck Institute for the Science of Light •
- Max Planck Institute for the Structure and Dynamics of Matter, Hamburg
- Max-Born-Institute
- Max-Planck Institute for Meteorology
- TUD Dresden University of Technology
- Technical University of Munich (TUM)
- University of Tübingen
- Universität Bayreuth
- 24 more »
- « less
-
Field
-
17 Sep 2026 Job Information Organisation/Company Deutsches Krebsforschungszentrum Research Field Medical sciences Researcher Profile First Stage Researcher (R1) Application Deadline 7 Oct 2026 - 15
-
by researchers and imaging experts around the world. We value excellent software as a scientific contribution in its own right. You will work at the intersection of software engineering, computational
-
partner program IMPRS-CellDevoSys. What We’re Looking For We seek bold, driven, and creative PhD candidates ready to tackle the toughest questions in: 🔬 Biomedicine & Regenerative Biology 🧬 Molecular
-
and Water Chemistry at the Technical University of Munich (TUM) is committed to excellence in research, teaching and interdisciplinary education. We strive to proactively develop analytical tools
-
21 Sep 2026 Job Information Organisation/Company Technical University of Munich (TUM) Department School of Social Sciences and Technology Research Field Computer science Economics Juridical sciences
-
University of Bayreuth Centre of International Excellence “Alexander von Humboldt” Starter Grant Programme 2027 Call for Applications Application deadline: 15 September, 2026 The University
-
the Bayreuth Humboldt Centre (award sum 20,000 €). This requires proof of the successfully completed Starter Grant. Success must be documented in, e.g., joint publications, a jointly organized workshop or
-
into applications. TRILOGY brings together 11 leading institutions across Europe to train 16 Doctoral Candidates at the forefront of theory and experiment in ultrafast science. The programme offers a unique
-
protein engineering to develop agents based on our research into their photophysical properties and structure-function relationship. Finally, we are driving the development of specialized screening
-
a doctorate in artificial intelligence, medical informatics, and precision oncology? Then join the xMDT-HPB project at the Institute for AI and Informatics in Medicine (AIIM), a pioneering research