69 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Technical University of Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions

Postdoc in Ontology-Driven Data Integration for Chemical Engineering Digitalization - DTU Chemical Engineering Postdoc in Bond Decompositions of Chemical Simulations - DTU Chemistry Postdoc in Compilation and Timing Analysis for Real-Time Systems - DTU Compute Postdoc in Organic Industrial Coatings - DTU Chemical Engineering

Technical University of Denmark | Denmark | 1 day ago

or ethnic background are encouraged to apply. As DTU works with research in critical technology, which is subject to special rules for security and export control, open-source background checks may be
Postdoc in Applying Generative Artificial Intelligence in Chemical Engineering Education - DTU Chemical Engineering Postdoc in Developing the Next Generation of Solid Oxide Electrolysis Technology - DTU Energy Postdoc in Luminescence Physics Applied to Earth Sciences - DTU Physics Postdoc in Formal Methods for Business Process Management - DTU Compute Postdoc in Experimental Photonic Quantum Computing - DTU Physics

Technical University of Denmark | Denmark | about 1 month ago

optics and a Ph.D. in physics, quantum information science, or a related field. Expertise in some of the following areas is expected: Expertise in quantum information processing, quantum optics, or related

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions