Alignerr Corp. is seeking mathematicians to formalize advanced arguments in Lean 4, building formal libraries and proving theorems for frontier AI research. This is a remote, hourly contract with flexible hours. You will translate informal reasoning into machine-checkable proofs, audit existing formal proofs, and collaborate asynchronously. Master's or PhD in Mathematics required; strong proof-writing and experience with Lean 4 preferred.
Remote Mathematician: AI Foundations & Formal Proofs in Warsaw – pracodawca: Alignerr Corp.
Alignerr Corp. to doskonały pracodawca, który oferuje elastyczne godziny pracy oraz możliwość rozwoju w dynamicznie rozwijającym się środowisku technologicznym. Pracownicy cenią sobie kulturę współpracy i wsparcia, a także szereg możliwości szkoleń, które pomagają w doskonaleniu umiejętności związanych z oceną jakości wyszukiwania i treści generowanych przez AI. Praca zdalna pozwala na wygodne łączenie życia zawodowego z prywatnym, co czyni tę rolę jeszcze bardziej atrakcyjną.
