3 ic-verification PhD positions at Technical University of Denmark in Denmark

PhD scholarship in Time-Predictable Computer Architecture - DTU Compute

Technical University of Denmark | Denmark | about 21 hours ago

. Responsibilities: Conduct research 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

PhD scholarship in monitoring bedrock displacements using GNSS in Greenland - DTU Space

Technical University of Denmark | Denmark | 2 months ago

adjustment (GIA), elastic deformation, and ice mass changes. You are expected to, Coordinate field logistics for field campaigns in Greenland. Create and analyze GNSS-IR time series for coastal GNET stations

PhD scholarship in Programming Languages, Software Engineering, and GenAI - DTU Compute

Technical University of Denmark | Denmark | about 1 month ago

. We are looking for you if you have a background and interest in programming languages and formal methods --- e.g., has taken courses in program analysis, verification, compiler construction and/or