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.