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…
Voice Actor - Australian English
Voice Actor — Australian English (AI Speech Recording) About The RoleWhat if your voice could directly shape how AI understands and connects with millions of Australian speakers? We're looking for professional voice actors and voice-over artists with authent…
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…
Australian English Voice Artist for AI Speech Recording
Alignerr is seeking a Voice Over Artist for Australian English to record in a professional studio. The role is contract-based with in-person sessions in Australia, typically 4 hours per session and 2-3 sessions total. No AI cloning involved, focus on authentic…
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…