61 formal-verification-computer-science PhD positions at Technical University of Denmark
Sort by
Refine Your Search
-
Job Description A 3-year PhD fellowship in catalytic biomass valorization is available in the Nielsen group at DTU Chemistry. If you find it interesting to combine studies in homogeneous and
-
opportunity to work in various areas of theoretical and computational chemistry such as quantum and semi-classical theory of molecules, electronic excited-state dynamics and relaxation, materials and light
-
Job Description We are looking for a motivated, ambitious PhD student to join the Cryptography Group in the Cybersecurity Engineering Section at DTU Compute (Copenhagen region, Denmark). This 3-year
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions