at Alignerr
Get paid up to $150/hr to push the boundaries of formal mathematics — translate cutting-edge proofs into Lean and help shape the future of AI reasoning.