Research Engineer: AI Verification & Zero-Knowledge Proofs

Singapore AI Safety Hub; Greater London; On-site; GBP 90,000 - 120,000; Full time

Job summary

Singapore AI Safety Hub is seeking a researcher to turn paper-based verification into a policy-ready verification toolkit. You will work across hardware-security, systems, and cryptography teams to push down proving costs, improve alignment between proofs and frontier inferences, and publish results so that peers can verify and build upon your work.

The role welcomes candidates with strong proof-system experience or deep GPU/ML systems background, and a track record in cryptographic

Qualifications

• Built real proof systems (Halo2, Plonky3 or similar) or strong GPU/ML systems experience.
• Able to reason about soundness and adversarial models.
• Able to write code that others can audit and build on.
• Willing to iterate across model architectures and numerical details.

Responsibilities

• Own the path from research paper to verifiable, policymaker-ready tooling.
• Drive down proving cost and close gaps between proofs and frontier inference.
• Collaborate with hardware-security, systems teams and cryptographers; publish findings.

Skills

Proof systems

GPU & ML systems

Security-minded coding

Adversarial reasoning

Tools

Halo2

Plonky3

STARK-based stacks

GPU/ML systems

Job description

Singapore AI Safety Hub is seeking a researcher to turn paper-based verification into a policy-ready verification toolkit. You will work across hardware-security, systems, and cryptography teams to push down proving costs, improve alignment between proofs and frontier inferences, and publish results so that peers can verify and build upon your work.

The role welcomes candidates with strong proof-system experience or deep GPU/ML systems background, and a track record in cryptographic