Principal Engineer

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

• Lead the design and development of software verification tools and frameworks built on top of Lean 4 and related proof assistant technologies.

• Architect and implement core verifier infrastructure for formal reasoning about software correctness, security, and distributed systems.

• Develop and maintain libraries, tooling, and automation pipelines supporting theorem proving and formal specification workflows.

• Translate academic research in programming languages, formal methods, and distributed systems into production-ready engineering systems.

• Collaborate with research teams and external academic partners to advance the state of the art in formal verification and proof engineering.

• Design frameworks for verifying correctness of distributed protocols, smart contracts, and system-level software.

• Contribute to the development of static analysis, symbolic reasoning, and formal specification tools integrated into verification pipelines.

• Evaluate and integrate emerging developments in proof assistants, type systems, and formal logic frameworks.

• Provide technical leadership in system architecture design and long-term platform evolution for verification infrastructure.

• Mentor engineers and researchers as the company scales its formal methods and verification team in Singapore.

• Support research collaborations and joint projects with universities, research institutes, and industry partners.

• Ensure high standards of correctness, scalability, and reliability in all developed verification systems.

Qualifications & Experience

• PhD (or near completion) in Computer Science or a closely related field, with a strong focus on formal methods, programming languages, or verification.

• Strong background in theorem proving, proof assistants(e.g. Lean, Coq, Isabelle), or formal verification frameworks.

• Demonstrated experience in designing or implementing verification tools, symbolic reasoning systems, or programming language infrastructure.

• Deep understanding of distributed systems, concurrency, or protocol verification.

• Experience translating academic research into practical software systems or engineering tools.

• Strong programming skills in systems or functional programming languages.

• Familiarity with formal logic, type theory, and semantics of programming languages.

• Strong analytical, problem-solving, and technical communication skills.

• Proven ability to work in research-driven engineering environments.

• Contributions to academic publications, open-source verification tools, or research prototypes will be highly valued.

What We Offer

• Opportunity to work on world-leading research in formal verification and proof assistant technology.

• Competitive remuneration package and performance-based incentives.

• Research-driven engineering environment with strong academic and industry collaboration.

• Opportunity to shape the development of next-generation verification infrastructure.

• Exposure to cutting-edge work in programming languages ,theorem proving, and distributed systems.

• Long-term technical leadership opportunities within a growing deep-tech organisation.

If you are passionate about formal methods, proof systems, and building rigorous software verification infrastructure that bridges academia and industry, we welcome your application to join Andtruth International Pte. Ltd.