7 formal-verification-computer-science positions in Denmark

Sort by

listed

Refine Your Search

Listed
- Last-3-days 1
- Last-30-days 1
Category
- Research Job 4
- Scholarship 2
- Uni Job 1
Program
- Postdoctoral 4
- PhD 2
Employer
Field
- Computer Science 5
- Social Sciences 2

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science 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 | 12 days 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 Formal Methods for Business Process Management - DTU Compute Postdoc in Time-Predictable Computer Architecture - DTU Compute

Technical University of Denmark | Denmark | about 1 month ago

in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function verification and formal
PhD scholarship in Time-Predictable Computer Architecture - DTU Compute PhD scholarship in Programming Languages, Software Engineering, and GenAI - DTU Compute
- About
- Contact
- Privacy Statement
- Universities
- Blogs
- Browse
- Post an Ads
Copyright © 2025 scholarshipdb.net. All rights reserved.