Remote Formal Methods Research Scientist — 10+ yrs

OpenTrain AI, Inc.; United States; Remote; USD 71,000 - 101,000; Part time

Job summary

OpenTrain AI, Inc. is seeking a Formal Methods and Computational Science Research Scientist for a remote, part-time contract. A PhD and 10+ years in the field are required; fluent English, and 20+ hours per week.

This role focuses on designing difficult problems, writing reference solutions and rubrics, and reviewing AI-generated answers with precise feedback. The work is remote, US-based, with asynchronous communication and no production engineering duties.

Qualifications

• A PhD or doctorate in a relevant scientific or computational field.
• At least 10 years in your field, with current or recent hands-on work.
• Strong written English for technical explanations and structured feedback.
• Work independently, asynchronously, and remotely.
• Time: 20+ hours per week.

Responsibilities

• Help evaluate how AI models handle difficult problems in formal methods, computational science, or a relevant scientific field.
• Design realistic technical scenarios and problem sets in your area of expertise.
• Write expert-level reference solutions and grading rubrics.
• Review AI-generated answers for correctness, depth, and sound use of subject knowledge.
• Explain your technical judgments in clear, structured feedback.

Skills

Fluent English

Education

PhD / Doctorate in relevant field

Job description

OpenTrain AI, Inc. is seeking a Formal Methods and Computational Science Research Scientist for a remote, part-time contract. A PhD and 10+ years in the field are required; fluent English, and 20+ hours per week.

This role focuses on designing difficult problems, writing reference solutions and rubrics, and reviewing AI-generated answers with precise feedback. The work is remote, US-based, with asynchronous communication and no production engineering duties.