Research Scientist - Formal Methods

What You'll Do8

• Build technical scenarios and problem sets that mirror the difficulty of real expert work in your track.
• Write reference solutions that hold up to scrutiny from other specialists in the field.
• Draft grading rubrics that let reviewers separate a sound answer from a plausible-sounding one.
• Score AI-generated responses on factual correctness, reasoning depth and sound domain judgment.
• Document where a model's output breaks down and explain the underlying misconception in writing.
• Tailor problems across subareas of your discipline so the evaluation covers more than one narrow corner.
• Give structured written feedback that other researchers and model developers can act on.
• Work asynchronously with the rest of the cohort and turn assignments around on your own schedule.

Requirements6

• PhD or doctorate in a science discipline, with 10 or more years of experience in the field.
• Active hands-on engagement with the subject, not a background limited to academic administration or adjacent work.
• Strong technical writing: you will produce explanations, rubrics and review notes, not just solve problems.
• Ability to work independently and asynchronously in a remote setup.
• Comfort judging the quality of other people's technical work.
• Deep specialization in at least one track: formal methods and theorem proving, computational biology and genomics, or condensed-matter and quantum physics.

Who Should Apply

Researchers with a doctorate and a decade or more of hands-on work in formal methods, computational science, or a related physics, chemistry or biology specialty. Publication records, open-source contributions, or prior peer review and grading experience strengthen a candidacy. Apply only if you clear most of the stated bar.

Salary Insight