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
Remote (Global)
$40 – $80/hr
June 10, 2026
Job description
Applied Physics (AI Training)
About the Role
What if your years of physics training could directly shape how AI understands the fundamental laws of the universe? We're looking for PhD-level Applied Physicists to stress-test cutting-edge AI models — exposing the gaps in their physical reasoning and helping ensure they respect the principles that govern reality: conservation of energy, electrodynamics, quantum behaviour, and more.
This is a fully remote, flexible contract role built for researchers and advanced academics. No prior AI experience needed — just a deep command of physics and the analytical rigour to match.
- Organization: Alignerr
- Type: Hourly Contract
- Location: Remote
- Commitment: 10–40 hours/week
What You'll Do
- Design Advanced Physics Problems — Craft complex, open-ended problems at PhD qualifying exam level, requiring multi-step logical reasoning and rigorous mathematical derivation across domains like quantum mechanics, electrodynamics, and thermodynamics
- Author Gold-Standard Solutions — Write definitive, step-by-step solutions with meticulous attention to physical constants, unit conversions, and logical flow — the benchmark an AI must meet
- Audit AI Reasoning — Evaluate AI-generated simulations, derivations, and proofs for physical consistency; identify where models "hallucinate" physics that violates first principles
- Refine Model Behaviour — Provide structured, expert feedback that improves AI reasoning around boundary conditions, conservation laws, and physics-informed constraints
Who You Are
- PhD completed or in final stages in Applied Physics, Physics, Engineering Physics, or a closely related field
- Deep mastery across the core pillars: Classical Mechanics, Electrodynamics, Statistical Mechanics, and Quantum Mechanics
- Exceptional ability to explain complex physical phenomena and mathematical reasoning in clear, structured prose
- Uncompromising precision with units, scientific notation, dimensional analysis, and proof structure
- Self-directed and reliable when working independently on technical tasks
- No prior AI or machine learning experience required
Nice to Have
- Experience with data annotation, scientific dataset evaluation, or quality assurance workflows
- Proficiency with computational tools such as MATLAB, COMSOL, or Python (NumPy/SciPy)
- Background in research, academia, or applied physics industries
- Familiarity with AI language models as an end user
Why Join Us
- Work on high-impact AI projects alongside world-leading research labs
- Fully remote and asynchronous — work on your own schedule, from anywhere
- Freelance autonomy with the substance of meaningful, intellectually rigorous work
- Apply your expertise at the frontier of AI development in a way that has real, lasting impact
- 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?