7 verification-computer-science positions at Technical University of Denmark in Denmark

Postdoc in Compilation and Timing Analysis for Real-Time Systems - DTU Compute Postdoc in Formal Methods for Business Process Management - DTU Compute Postdoc in Engineered 3D Microperfusion Systems for Next-Generation Liver Models - DTU Health Tech

Technical University of Denmark | Denmark | 12 days ago

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

Postdoc in Time-Predictable Computer Architecture - DTU Compute

Technical University of Denmark | Denmark | 3 months ago

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

Part-Time Lecturers in Embedded Systems Engineering - DTU Compute

Technical University of Denmark | Denmark | 2 months ago

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

PhD scholarship in Time-Predictable Computer Architecture - DTU Compute PhD scholarship in Intelligent Motion Control of Autonomous Underwater Vehicles - DTU Electro

Technical University of Denmark | Denmark | about 2 months ago

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