5 formal-verification-computer-science positions at Technical University of Denmark in Denmark
Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
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