at Alignerr
Get paid to push the frontier of formal mathematics — turn rigorous proofs into machine-verifiable Lean 4 code. Remote, flexible, and highly competitive pay.