15 proof-checking-postdoc-computer-science-logic Postdoctoral scholarships in Germany
Sort by
Refine Your Search
-
Employer
-
Field
-
Job Offer from August 28, 2026 Open PhD and Postdoc positions are available at the Max Planck Institute for Chemistry (MPIC), co-supervised by Prof. Yafang Cheng (Director at MPIC) and Dr. Huan
-
Jetzt online bewerben: https://karriere.klinikum.uni-heidelberg.de/index.php?ac=application&jobad_id=28347 PhD/Postdoc position in computational biology to elucidate NR2F1 dosage dependent
-
on the applications of logical zonotopes in digital circuits and the model checking of discrete-space systems, with the goal of developing methodologies and tools that make verification scalable and reliable. Learn
-
, the China Scholarship Council (CSC) and the DAAD have offered a joint programme to support Chinese postdocs since 2013. Who can apply? Outstanding graduates from Chinese Universities and institutes. What can
-
Position Description The new Collaborative Research Centre "Generalised Motivic Methods in Geometry" (DFG CRC 1785) at the University of Regensburg welcomes applications to PhD and postdoc positions
-
Max Planck Institute for Biological Intelligence (Seewiesen site), Seewiesen | Germany | 3 months ago
information in freely flying birds. It aims at uncovering which sensory modality the birds use for sound reception during echolocation. Combining behavioral monitoring and cutting-edge wireless technology to
-
Models, LLMs, etc. PhD and PostDoc Positions in Visual Computing & AI The Visual Computing & Artificial Intelligence Group at the Technical University of Munich is looking for highly motivated PhD students
-
12.05.2025, Academic staff PostDoc- und Promotionsstellen in der Theorie der Quantensimulation Dauer: 2 - 3 Jahre (PostDoc) & 3 - 4 Jahre (Promotion) Ort: School of Natural Sciences (Physik
-
available in the further tabs (e.g. “Application requirements”). Programme Description The programme enables academics from all over the world to undertake research residencies of 1-3 months at the Berlin
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic