Applied Formal Methods Researcher (Lean 4) About the Role What if your deep mathematical training could directly shape how AI reasons about the hardest problems in mathematics?
Applied Physics Specialist
Remote (Global)
$40 – $80/hr
June 10, 2026
Job description
Applied Physics Specialist (AI Training)
About the Role
What if your expertise in quantum mechanics, thermodynamics, and electrodynamics could directly shape how AI understands the physical world? We're looking for PhD-level Applied Physicists to stress-test cutting-edge AI models — exposing the gaps in their reasoning and helping ensure they never violate the fundamental laws of the universe.
This is a fully remote, flexible contract role built for researchers and scientists who want to do meaningful, intellectually demanding work on their own schedule. No prior AI experience required — just deep domain mastery and a rigorous scientific mind.
- Organization: Alignerr
- Type: Hourly Contract
- Location: Remote
- Commitment: 10–40 hours/week
What You'll Do
- Design Advanced Physics Problems — Develop complex, open-ended problems at PhD qualifying exam level, requiring multi-step logical reasoning and mathematical derivation across topics like quantum mechanics, electromagnetism, and thermodynamics
- Author Rigorous Solutions — Create precise, step-by-step "golden responses" with verified physical constants, correct unit conversions, and airtight reasoning that serves as the benchmark for AI evaluation
- Audit AI Reasoning — Evaluate AI-generated proofs, simulations, and explanations for physical consistency, identifying where models "hallucinate" physics that violates first principles
- Refine Model Behavior — Provide structured, expert feedback that improves how AI handles physics-informed reasoning — from conservation laws to boundary conditions to dimensional analysis
- Document Failure Modes — Systematically record the ways AI models break down when confronted with research-level physics, contributing directly to model improvement
Who You Are
- Holds a PhD (completed or near completion) in Applied Physics, Physics, Engineering Physics, or a closely related field
- Deep mastery across the core pillars of physics: Classical Mechanics, Electrodynamics, Statistical Mechanics, and Quantum Mechanics
- Exceptional ability to write clear, structured, mathematically rigorous explanations for complex physical phenomena
- Uncompromising attention to detail — units, scientific notation, logical flow, and physical consistency are second nature to you
- Self-directed and comfortable working independently in an asynchronous environment
- No prior AI or data annotation experience required
Nice to Have
- Experience with scientific data annotation, dataset curation, or evaluation systems
- Proficiency with computational tools such as Python (NumPy/SciPy), MATLAB, or COMSOL
- Background in research-level benchmarking or academic problem authoring
- Familiarity with AI tools or large language models as an end user
Why Join Us
- Work on high-impact AI projects in partnership with the world's leading AI research labs
- Fully remote and flexible — work when and where it suits you, on your own schedule
- Freelance autonomy with the intellectual depth of real research-level work
- Apply your PhD-level expertise in a novel, forward-looking domain
- Contribute to making AI systems that genuinely respect the laws of physics
- Potential for ongoing work and contract extension as new projects launch
Apply now
You will be redirected to the company's website to complete your application.
Researcher – Lean 4 & Formal Proof Systems (AI Training) About the Role What if your deep mathematical training could directly shape how AI understands and reasons through the hardest proofs in existence?
Formal Verification Scientist (Lean 4 & Mathlib) About the Role What if your deep mathematical training could directly shape how AI reasons about proofs — and push the boundaries of what machines can verify?
Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About the Role What if your deep mathematical training could directly shape how AI reasons about formal proofs — and help push the boundaries of what machines can verify?