Latest AI JobsBrowse Jobs
SASH logo

Research Engineer / Research Scientist, Zero-Knowledge Verification

SASHRemote/FlexibleVerification
Apply on company site
Salary
$100K – $200K
Job type
Full-time
Work mode
Remote
Posted
22 Sept 2026
Status
Open · checked 7d ago

About this role

Research Engineer / Research Scientist, Zero-Knowledge Verification is a remote or flexible role at SASH focused on building verification tools for artificial intelligence agreements. This position suits researchers and engineers experienced with modern proof systems or machine learning infrastructure who want to contribute to international AI verification.

Role Overview

Research Engineer / Research Scientist, Zero-Knowledge Verification is a remote-based role at SASH. The position involves prototyping verification mechanisms, reducing proving costs, and developing zero-knowledge proof systems for frontier artificial intelligence models. This role bridges theoretical research and practical deployment to help policymakers and independent evaluators verify agreements.

Key Responsibilities

Prove full inference transcripts from frontier-scale models end to end and report costs honestly.
Bring open prototypes to parity with proprietary systems by making the state of the art public and checkable.
Close out data-preparation paths dominating current proving times using reference-implementation checks.
Help develop research agendas for future directions, including AI-assisted research.
Design and analyze sub-sampling schemes to bound information a dishonest prover can smuggle through.
Integrate exact emulation of hardware floating-point behavior or move inference to integer arithmetic.
Build proof circuits for low-precision formats such as NVFP4.
Investigate compute- and memory-exhaustion schemes including proof-of-useful-work or proof-of-space.
Hide model architectures through proof recursion and red-team constraint systems.

Requirements

Experience building real applications with modern proof systems like Halo2, Plonky3, STARK-based stacks, or comparable technologies.
Deep GPU and machine learning systems experience for candidates looking to learn proof systems on the job.
Comfort reasoning about soundness, adversary capabilities, and critical arguments.
Ability to write secure code and handle unglamorous tasks like generalizing model architectures and chasing numerical mismatches.
Willingness to thrive in ambiguous, early-stage environments.

Nice to Have

Published work in applied cryptography, verifiable computation, or succinct proofs.
Low-precision numerics experience covering rounding modes and accumulation order.
Formal verification experience of verifier codebases or protocols.
Familiarity with lookup arguments, recursion, or folding schemes.
Experience explaining cryptographic guarantees to non-technical stakeholders.
Experience using AI systems as research collaborators.

Skills and Tools

Halo2
Plonky3
STARK-based stacks
GPUs
Machine learning systems
Low-precision numerics
NVFP4

Salary and Benefits

Salary range between $100K and $200K, with higher salaries available for exceptional candidates depending on location, experience, and level.
Competitive benefits and leave policies.
Visa sponsorship available for candidates interested in relocating to the UK.

About the Company

SASH builds and tests tools to verify agreements about artificial intelligence. The team combines technical expertise with international AI policy experience, collaborating with researchers and academic leaders from the University of Birmingham, Oxford, and the Centre for the Governance of AI.

How to Apply

Candidates should apply on the official company careers page.

Skills and tech stack

Halo2Plonky3STARKGPUsNVFP4

Questions candidates ask

Where is the Research Engineer / Research Scientist position located?

This is a remote role that can be based in Singapore, the UK, or remotely, with required working-hour overlap across global regions.

What is the salary range for this role?

The salary ranges from $100K to $200K, taking location, experience, and level into account, with higher compensation possible for exceptional candidates.

Is visa sponsorship available?

Yes, SASH provides visa sponsorship in the UK for candidates interested in relocating.

What technical background is required to apply?

Candidates must have built real systems using modern proof frameworks like Halo2, Plonky3, or STARK-based stacks, or possess deep GPU and ML systems experience with a willingness to learn proof systems on the job.

What types of representative projects will I work on?

Projects include proving full inference transcripts from frontier-scale models, designing sub-sampling schemes, integrating hardware floating-point behavior emulation, and building proof circuits for low-precision formats.

Ready to apply?

The application is on the official SASH careers page.

Apply on company site