Principal Engineer - Formal Methods & Verification

VOYAGE CONSULTANTS PTE. LTD. in Singapore is seeking a Principal Engineer specializing in programming languages and formal methods. You will lead the design of advanced software correctness and verification systems, translating complex theories into practical tools.

The ideal candidate holds a PhD and has a robust background in programming language semantics. Strong leadership in software verification and collaboration with research teams is essential for success in this research-intensive role.