Remote CS & Physics Research Scientist (AI & Proofs)

OpenTrain AI, Inc.; United States; Remote; USD 138,000 - 551,000; Part time

Job summary

OpenTrain AI, Inc. seeks a Computer Science and Physics Research Scientist to explore open problems in CS and mathematical/ computational physics using AI models, proofs, algorithms, and simulations.

Work is remote with flexible part-time or full-time engagement. You will assess research outputs for correctness and novelty, document methods and results, and compare findings with current literature to advance the field.

Qualifications

• Experience conducting research in computer science or mathematical/computational physics.
• Strong ability to run simulations and perform numerical analysis.
• Ability to document methods, results, challenges and next steps clearly.
• Publication record or work addressing open problems and novel concepts.

Responsibilities

• Identify open problems, new bounds, and research challenges to investigate.
• Use AI models and agents to attempt proofs, develop algorithms, and run simulations.
• Verify proofs, reproduce numerical results, and use formal tools when appropriate.
• Compare findings with recent publications to assess correctness and novelty.
• Write thorough reports detailing methods, results, challenges and next steps.

Skills

Simulation

Numerical analysis

Algorithmic implementation

Careful evaluation of research claims

Education

Late-stage PhD candidate / postdoctoral researcher / early-career academic in CS or mathematical/computational physics

Tools

Lean

SAT or SMT solvers

Formal computational tools

Job description

OpenTrain AI, Inc. seeks a Computer Science and Physics Research Scientist to explore open problems in CS and mathematical/ computational physics using AI models, proofs, algorithms, and simulations.

Work is remote with flexible part-time or full-time engagement. You will assess research outputs for correctness and novelty, document methods and results, and compare findings with current literature to advance the field.