We are seeking a highly specialised Principal Engineer with deep expertise in programming languages theory, formal methods, and program verification to lead the design and development of advanced software correctness and verification systems.

The successful candidate will work at the intersection of research and engineering, translating formal semantics, type theory, and proof systems into practical tools for software verification, compiler correctness, and secure system design.

This role is research-intensive and requires strong capability in designing and implementing foundational systems for program analysis and verification.

• Lead the design and implementation of program verification frameworks and formal reasoning tools
• Develop and extend systems based on formal semantics, type systems, and logical reasoning (e.g., Lean, Dafny, or similar environments)
• Design intermediate verifica...