at Alignerr
Your expertise in rigorous mathematics and formal proof systems is needed at the cutting edge of AI — remote, flexible, and highly rewarding.