237 proof-checking-postdoc-computer-science-logic uni jobs in Denmark

Sort by: relevance | listed |

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

Department of Computer Science, Aarhus University is looking for 2 IT-Employees with focus on formally verified compilers for ZK-proofs

Aarhus University | Denmark | about 2 months ago

verification of compiler optimizations in Rocq The position is for 15 hours per week. Starting on September 1, 2025 - or soon thereafter . The place of work is: Computer Science, Aarhus University - Åbogade 34
Postdoc in PEM Electrolyzer Integration with Membrane Distillation for Green Hydrogen Production - DTU Sustain Assistant Professor Positions Available at SDU Center for Energy Informatics Laboratory Technician - DTU Chemical Engineering

Technical University of Denmark | Denmark | about 7 hours ago

. The job You will be a key contributor to the ongoing projects at DTU Chemical Engineering. Our large, well-equipped laboratory is used daily by both PhD students, Postdocs, researchers, and students, and we
Programme Manager for IBIS OIS

Aarhus University | Denmark | about 1 hour ago

known as Open Innovation in Science (OIS). Place of work and area of employment Ny Munkegade 116, 8000 Aarhus C The IBIS OIS programme is hosted by Aarhus University – and it is part of the larger
Computational Engineer for Gyro-Kinetic Code Development - DTU Physics
- About
- Contact
- Privacy Statement
- Universities
- Blogs
- Browse
- Post an Ads
Copyright © 2025 scholarshipdb.net. All rights reserved.