11 proof-checking-postdoc-computer-science-logic positions at Max Planck Institutes in Germany
-
September 04, 2025 The International Max Planck Research School for Biology and Computation (IMPRS-BAC) is a graduate program offering comprehensive education and hands-on experience in both
-
About Us In a nutshell Institutions & Location Glossary Research Scientific Orientation BIOLOGY CHEMISTRY & BIOCHEMISTRY MOLECULAR CONDENSATES BIOLOGICAL PHYSICS MATHS, COMPUTATION & AI Research
-
The Saarbrücken Graduate School of Computer Science provides an optimal environment for pursuing doctoral studies in computer science at an internationally competitive level. As a student, you
-
conduct fundamental research in the sciences, technology, arts, and humanities. The society employs some 5,600 scientists, plus about 9,000 doctoral students, post-docs, and visiting researchers. The MPS
-
CS@max planck is a highly selective doctoral program that grants admitted students full financial support to pursue doctoral research in the broad area of computer and information science, with
-
, control theory, computer science, cognitive science, neuroscience, mathematics, and materials science. The program’s research and training have a high potential for practical applications in areas such as
-
computer science? Additional support for families and underrepresented groups is described on our Equal Opportunity Resources page . Your question wasn’t answered? For more information regarding the MPI-SWS
-
The International Max Planck Research School on Trustworthy Computing (IMPRS-TRUST) is a graduate program jointly run by the Max Planck Institute for Informatics (MPI-INF), the Max Planck Institute
-
Integrating Biology , Physics , Chemistry and Computer Science , the International Max Planck Research School for Cell, Developmental, and Systems Biology trains talented young researchers seeking
-
Machine Learning Group, Department of Engineering, CambridgeMLG Cambridge About Us News Research Publications People PhD Admissions Blog Latest News Papers with MLG authors to appear at ICML and