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
-
computer science, data science, or an AI-related discipline is preferred Strong interest in analyzing scientific literature and patents Strong interest in energy technologies and energy systems research
-
which technology and research fields are advancing. Furthermore, you will also extend the indicator beyond novelty toward quality assessment and validate the reliability, robustness, and fairness of LLM
-
candidates hold a Master’s degree in Informatics, Mathematics, or a related field, and possess strong expertise in linear algebra, GPU architectures, and programming in C++ and Python. This is a 100% TVL E13
-
23 Jul 2026 Job Information Organisation/Company Deutsches Krebsforschungszentrum Research Field Medical sciences Researcher Profile First Stage Researcher (R1) Application Deadline 7 Aug 2026 - 13
-
companies. The project has partners from eight different EU countries. All 15 Ph.D. projects are within the overall theme of neuromorphic computing and analog signal processing, targeting applications in
-
available in the further tabs (e.g. “Application requirements”). Programme Description The DBU scholarship programme for PhD students aims to support young academics in the field of applied environmental
-
thought and action. The profile of the Helmholtz Association The Helmholtz Association performs cutting-edge research which contributes substantially to solving the grand challenges of science, society and
-
03.08.2026 Application deadline : 16.10.2026 A PhD position in ribosome biology (m/f/d, E13 TV-L, 65%) for a fixed term of four years is available in our laboratory at the Center for Plant Molecular
-
available in the further tabs (e.g. “Application requirements”). Objective The programme aims at fostering strong, internationally oriented higher education systems in Southeast Asia with the capacity
-
available in the further tabs (e.g. “Application requirements”). Programme Description International students holding a Master’s degree in (molecular) biology, (bio-)chemistry, physics, mathematics