Research Scientist — Formal Methods / Computational Science

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.

Responsibilities

• 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

Preferred Qualifications

• 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

Why Apply

• Work directly on frontier AI research problems in your area of deep expertise
• Fully remote, flexible, asynchronous — fits around existing work
• Competitive hourly compensation ($100–$170/hr, based on experience)