PhD Positions in Computer Science (Formal Methods)
University of Southern Denmark (SDU)
Denmark
Summary
PhD positions in Computer Science specializing in Formal Methods. Full-time, fixed-term research opportunities in academia. Masters required. Competitive salary. Application deadline: 15 Aug 2026. Perfect for researchers seeking advanced project work, collaboration, and scholarly impact.