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
-
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
-
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
-
hold an MSc in electronics, computer engineering, or a closely related field. Required Qualification: Applicants must hold an MSc in electronics, computer engineering, or a closely related field. Strong
-
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
-
SMARTFIELD project. We are looking for a candidate with extensive knowledge in social science, environmental management, agroecology, or a related field, who is committed to research in the science-policy
-
SMARTFIELD project. We are looking for a candidate with extensive knowledge in social science, environmental management, agroecology, or a related field, who is committed to research in the science-policy