Research Scientist — Formal Methods / Computational Science

We're building a research cohort of senior domain experts in formal methods and computational science — spanning math, physics, chemistry, and biology — to help evaluate how frontier AI models reason about hard, real-world expert-level problems. This is research-and-evaluation work, not production engineering: you'll be defining what "correct" and "excellent" look like on problems you already know deeply.

• Domain: Science (Math / Physics / Chemistry / Biology)
• Experience: 10+ years
• Education: PhD/Doctorate required

Candidates who meet the requirements and provide the requested materials will be prioritized for review. As part of this process, we conduct thorough background checks. Please apply only if you meet these requirements — candidates who meet fewer than 70% of the stated qualifications may be flagged for misrepresenting their professional experience, which could affect eligibility for future project staffing.

What you'll do

• Design realistic technical scenarios and problem sets within your track
• Author expert-level reference solutions and grading rubrics
• Evaluate AI-generated outputs for correctness, depth, and domain judgment

Requirements

• Currently or recently active in the field — hands-on, not purely academic-adjacent
• Strong written communication — you'll be authoring technical explanations and structured feedback, not just doing the work itself
• Comfortable with independent, asynchronous, remote work
• Meets the experience and education bar described in Full Description

Nice to have

• Prior research publication record, open-source contributions, or recognized work product in your track's domain
• Experience evaluating, reviewing, or grading others' technical work (peer review, code review, grading, editing)
• Track-specific bonus signal Science: formal methods/theorem proving (Lean/Coq), computational biology/genomics, condensed-matter or quantum physics