Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
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
-
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
-
of technology, contribute to maritime security, or lead innovations in the growing field of autonomous systems, this PhD position will equip you with the skills, knowledge, and experience to succeed. If you are