33 proof-checking-postdoc-computer-science-logic Postdoctoral scholarships in Germany
Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
Job Offer from June 04, 2025 The Fritz Haber Institute of the Max Planck Society for the Advancement of Science is one of the most internationally renowned research institutes. More than 400
-
, transforming the EU into a modern, resource-efficient, and competitive economy. Responsibilities and qualifications The focus of this PhD/Postdoc project is to develop a new Li-operated potentiometric
-
on the Bildungscampus Heilbronn (Heilbronn Education Campus). TUM Campus Heilbronn focuses on the areas of managing digital transformation, family businesses, and computer science. Requirements - Master’s degree in
-
22.03.2021, Wissenschaftliches Personal The 3D AI Lab at the Technical University of Munich is looking for highly motivated PhD students and PostDocs at the intersection of computer vision, machine
-
22.11.2020, Wissenschaftliches Personal The 3D AI Lab at the Technical University of Munich is looking for highly motivated PhD students and PostDocs at the intersection of computer vision, machine
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
11.02.2022, Wissenschaftliches Personal The Chair of Information-oriented Control (ITR) offers a PhD/PostDoc position within the 6G-life Research-Hub „Digital transformation and sovereignty
-
06.12.2021, Wissenschaftliches Personal The professorship of Data Science in Earth Observation is seeking six new PhD candidates/PostDocs for its new center for Machine Learning in Earth Observation
-
in Applied Mathematics, Computational Science and Engineering (CSE), or related fields with outstanding academic performance Strong programming skills and experience in languages such as C/C++, FORTRAN
-
available in the further tabs (e.g. “Application requirements”). Programme Description The programme enables academics from all over the world to undertake one-to-three-month research residencies
-
-quantum cryptography and coded computing (1 postdoc, 1 PhD, Antonia Wachter-Zeh, antonia.wachter-zeh@tum.de) • Theory for communication systems beyond Shannon's approach (1 postdoc, 1 PhD, Christian Deppe