Applied Formal Methods Researcher (Lean 4)
About The RoleWhat if your deep mathematical training could directly shape how AI reasons about the hardest problems in formal verification? We're looking for mathematicians and formal methods specialists to formalize advanced proofs in Lean 4 — working at t…
Remote Lean 4 Formal Methods Researcher
Alignerr is seeking mathematicians and formal methods specialists to formalize advanced proofs in Lean 4. This is a fully remote, hourly contract role with 10–40 hours per week, designed at the boundary of human intuition and machine-verifiable logic.You wil…
Remote Data Science & AI Content Specialist (Contract)
Alignerr seeks a Data Science Expert - AI Content Specialist to design challenging data science problems and author gold-standard solutions. You will audit AI-generated code, evaluate models with major libraries, and help improve AI reasoning by identifying fa…
Application Security Analyst
Application Security Analyst (AI Training) About The RoleYour ability to spot what's actually exploitable — versus what's just theoretically risky — is exactly what the next generation of AI needs. At Alignerr, we partner with the world's leading AI resear…
Remote AI Training: Semiconductor Materials Scientist
Alignerr Corp. is seeking a Semiconductor Material Science Expert (AI Training) to shape how AI reasons about physical world problems. Masters/PhD in Material Science or related field required, with deep expertise in semiconductor materials or molecular modeli…
Remote Lean 4 Formal Methods Researcher (Contract)
Alignerr is seeking mathematicians with hands-on experience in formal verification to translate rigorous arguments into Lean proofs for mechanized mathematics. This fully remote hourly contract role focuses on Lean 4 proofs, exploring the boundaries of automat…
Remote Lean 4 Proof Engineer — Mathematical Formalization
Alignerr is seeking Lean 4 Proof Engineers to translate informal mathematical arguments into machine-verifiable Lean formalizations. You will analyze proofs, identify gaps, and construct formalizations that push the boundaries of automated provers while collab…
Semiconductor Material Science (Masters/PhDs)
Semiconductor Material Science Expert (AI Training) About The RoleWhat if your deep expertise in semiconductor materials or molecular modeling could directly shape how AI reasons about the physical world? We're looking for Material Science specialists — Mast…
Finance Lecturer (AI Training)
About The RoleWe're looking for finance lecturers and economists to help shape how AI understands financial and economic reasoning. Your expertise will directly influence the accuracy, depth, and clarity of AI-generated finance content — making a real impact…
Applied Physics AI Quality Auditor - Remote
Alignerr Corp. seeks an Applied Physics Specialist (AI Training) to push the boundaries of how physics is interpreted by AI. You will design open-ended physics problems, author rigorous gold-standard solutions, and audit AI outputs for consistency across therm…