The Centre for Formal Methods and Future Computing is offering a 3-year PhD position focused on formal methods in computer science. The role involves research on topics such as computational complexity, distributed systems, human factors, logic, programming languages, and security, with a targeted start date in late autumn 2026.
Full Access gives you the company name, full job description, and a direct link to apply. On the 1- and 3-month plans, CV Tailor rewrites your CV for this exact role.
Full Access includes
Copenhagen, Capital
Copenhagen, Capital
Copenhagen, Capital
Kongens Lyngby, Capital Region
Copenhagen, Capital Region
See the company, read the full description, and click straight through to apply. All plans are one-time payments. Nothing renews automatically.
CV Tailor New
Your CV, rewritten for this exact job — nothing made up. Included with 1- & 3-month plans.
Secure checkout via Stripe · No subscription ever · learn more