-
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
-
Job Description If you have solid practical experience in embedded systems, computer engineering, or related areas — and are excited to teach, collaborate, and shape the next generation of engineers
Searches related to verification computer science
Enter an email to receive alerts for verification-computer-science positions