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.

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

Required qualifications

• 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)

Where you can work

This role is 100% remote: you can work from any country except Andorra, Afghanistan, Angola, Argentina, Azerbaijan, Barbados, Bangladesh, Burkina Faso, Burundi, Bolivia, Brazil, Belarus, Belize, DR Congo, Central African Republic, Congo (Republic), Chile, Cameroon, China, Colombia, Cuba, Cape Verde, Djibouti, Dominica, Dominican Republic, Egypt, Eritrea, Fiji, Micronesia, Gabon, Grenada, Georgia, Ghana, Gibraltar, Guinea, Equatorial Guinea, Guinea-Bissau, Honduras, Haiti, Iraq, Iran, Japan, Kyrgyzstan, Cambodia, Kiribati, Comoros, St. Kitts and Nevis, North Korea, South Korea, Kazakhstan, Laos, Lebanon, Liberia, Lesotho, Libya, Monaco, Montenegro, Marshall Islands, Mali, Myanmar, Macau, Mauritania, Maldives, Malawi, Niger, Nigeria, Nicaragua, Nepal, Nauru, Papua New Guinea, Palestine, Palau, Paraguay, Russia, Saudi Arabia, Solomon Islands, Seychelles, Sudan, Sierra Leone, San Marino, Somalia, Suriname, South Sudan, São Tomé and Príncipe, Syria, Eswatini, Chad, Togo, Tajikistan, Timor-Leste, Turkmenistan, Tonga, Tuvalu, Ukraine, Uganda, Uruguay, Vatican City, St. Vincent and Grenadines, Venezuela, Vanuatu, Samoa, Yemen, Zambia and Zimbabwe.