Fabrizio Montesi

FORM at the University of Southern Denmark is hiring PhD students and postdocs in formal methods , programming , verification , Lean , and CSLib . The post invites applicants to join the Centre for Formal Methods and Future Computing (FORM) and notes that there are many possible projects available. Candidates may also propose their own research project, making this a flexible opportunity for students and researchers with interests in rigorous software and system reasoning. Research areas: formal methods, programming languages, verification, theorem proving with Lean, and related computer science topics. Eligibility highlights: the announcement is for PhD and postdoc openings. No further requirements such as degree class, language tests, GPA, or prior experience are specified in the post excerpt provided. Funding: the post is a job-style academic recruitment announcement; it does not state stipend, salary, tuition, or other funding details in the text provided. Application window: the deadline for applications is 16 August 2026 . How to apply: use the linked PhD call or postdoc call and follow the instructions on the official SDU career site. Submit your application before the deadline.