Jobalerts. Solliciteren met één tik.

Human Logo

Functieomschrijving

Alignerr

$1,000 Bounty

Researcher - Lean 4 & Formal Proof Systems

entry-level

Salaris $170-$200/hourly

remote

contract