Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
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
-
printed hydrogel microfluidics and stem cell-derived liver organoids to advance the engineering of mature human liver tissue in vitro. You will work across disciplines, with access to world-class facilities
-
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