Back to all jobs

PhD Position in Computer Science (Formal Methods)

Odense, Southern Denmark
Posted 1 month ago
Research and Development

About the role

Job summary

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.

Qualifications

  • Master's degree in Computer Science or a related field
  • Interest in the theory, development, or application of formal methods
  • Fluency in English is required

Responsibilities

  • Conduct research in formal methods and related areas
  • Collaborate with research groups within the department
  • Contribute to the development of the Computer Science Library (CSLib)

Skills

  • Strong analytical and problem-solving skills
  • Familiarity with programming languages and formal methods

Education

  • MSc in Computer Science or a related discipline

Tools

  • Lean programming technology
  • Various tools related to formal methods and programming languages
Full Access

Ready to apply for this role?

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.

Share this job

Browse more jobs

Research and Development jobs in Denmark Jobs in Odense Research and Development jobs in Odense

Full Access includes

  • Company name & profile
  • Full job description
  • Direct apply link
  • Unlimited job alerts
  • CV tailored to this job (1- & 3-month plans)

Similar jobs

View all Research and Development jobs