Lead Principal Engineer: Formal Verification & Proof Tools

VOYAGE CONSULTANTS PTE. LTD. is seeking a Principal Engineer to lead the design and development of advanced software verification tools using proof assistant technologies and formal methods. This role integrates research and engineering to create robust verification systems for real-world applications.

The successful candidate will strengthen R&D in Singapore while collaborating with academic and industry partners to enhance formal verification capabilities.