at Alignerr
Turn rigorous mathematics into machine-verifiable truth. Work at the frontier of formal verification and AI research — remote, flexible, and exceptionally well paid.