About the role
Get paid to push the frontier of formal mathematics — write Lean proofs that challenge what AI can verify. Fully remote, highly specialized....
The platform supplies a short summary. Read the full requirements on the original listing.
alignerr · STEM
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
Alignerr