About this role
Postdoc Positions in Computer Science (Formal Methods) at SDU Career Site. Location: Odense or Vejle. Role: conducting research, developing tools, collaborating internationally Requirements: PhD (or near completion) in Computer Science or Mathematics, strong research record in formal methods, experience with theory/development/usage of formal methods, and fluency in English. Category: Research and Development (R&D) Seniority: Senior Level Tools: Computer Science Library (CSlib), Lean Commitment: Full Time Workplace: Onsite Languages: English