Job Description
Reports to: Chief Science Officer
Job Overview
Andtruth International Pte. Ltd. is seeking a highly capable Principal Engineer specialising in formal verification, programming language theory, and proof assistant technologies. The successful candidate will lead the design and implementation of advanced software verification tools integrated into modern proof assistant frameworks, including Lean 4, with a focus on building scalable verifier infrastructure for distributed systems and AI‑assisted software correctness.
The role sits at the intersection of research and engineering and is intended to translate cutting‑edge academic work in formal methods into production‑grade verification systems applicable to real‑world software and distributed protocols. The candidate will play a key role in strengthening the company’s R&D capabilities in Singapore and expanding collaborations with academic and industry partners.
Key Responsibilities
<...Ready to Apply?
Submit your application for Principal Engineer at VOYAGE CONSULTANTS PTE. LTD.
Apply Now