110 proof-checking-postdoc-computer-science-logic PhD scholarships at DAAD in Germany
Sort by
Refine Your Search
-
Description The Karlsruhe Institute of Technology (KIT) and the University of Stuttgart offer within the German Research Council (DFG)-funded Research Training Group (RTG) 3076 “Sustainable
-
Description TUD Dresden University of Technology, as a University of Excellence, is one of the leading and most dynamic research institutions in the country. TUD has established the Research
-
nationality from biological sciences, chemistry, mathematics, computer sciences and physics. Be part of CiM-IMPRS, a program run jointly by the University of Münster and the Max Planck Institute for Molecular
-
is funded by the German Ministry of Research, Technology and Space in the scope of the Fusion 2040 programme. After reaching scientific gain in laser-driven ICF experiments at the National Ignition
-
? Join us at the Leibniz Institute of Plant Biochemistry (IPB) in Halle (Saale), Germany, where we are offering a fully-funded PhD position within the DFG Priority Programme SPP2363: “Molecular Machine
-
Description TUD Dresden University of Technology, as a University of Excellence, is one of the leading and most dynamic research institutions in the country. Founded in 1828, today it is a globally
-
, their achievements and productivity to the success of the whole institution. At the Faculty of Computer Science, Institute of Artificial Intelligence, the Chair of Machine Learning for Robotics offers a full-time
-
conferences Requirements: a university degree in the field of computer science, data science, computational modeling or related subjects in combination with civil engineering, transport engineering a strong
-
, their achievements and productivity to the success of the whole institution. At the Faculty of Electrical and Computer Engineering, Institute of Fundamentals of Electrical Engineering, the Chair of Biomedical
-
Description Are you interested in the development of future materials, the chemistry of crystalline molecular assemblies, or chemical reactions catalyzed by unique atomic arrangements? Do you prefer