Principal Engineer

Reports to: Chief Science Officer

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.