33 proof-checking-postdoc-computer-science-logic Postdoctoral scholarships in Germany
Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
, NeRFs, Diffusion 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
-
physics, mathematics or any related field; correspondingly, Postdocs hold a PhD or equivalent degree in the abovementioned fields. What we offer State of the art on-site high performance/GPU compute
-
in physics, mathematics or any related field; correspondingly, Postdocs hold a PhD or equivalent degree in the abovementioned fields. What we offer State of the art on-site high performance/GPU compute
-
expertise from a wide range of partners in academia and industry, with both application and system expertise. About us CAPS is part of TUM’s department of Computer Engineering, one of the leading CE
-
from researchers with a PhD in demography, sociology, statistics, epidemiology, public health, economics, computer science, and allied fields. The successful candidate(s) will work on one or several
-
available in the further tabs (e.g. “Application requirements”). Programme Description The programme is intended for outstanding junior post-doctoral scientists from Germany, Austria and Switzerland from all
-
Engineering, Computer Engineering, Computer Science, or a closely related field Strong background in robotics fundamentals: kinematics, dynamics, control, planning Proficiency in programming (C++, Python), and
-
available in the further tabs (e.g. “Application requirements”). Programme Description The Pre-Doc Award offers postdocs and those interested in a doctorate with a very good degree the opportunity to jointly
-
) and present your work at top conferences and journals in our field. Candidates should have completed their Master/Diploma studies in Computer Science, Mathematics, Mechatronics, Electrical Engineering
-
, or machine learning is also appreciated. PhD: The candidate is expected to have some background in theoretical computer science, including some of the following areas: automata, logic, games, verification