Jobalerts. Solliciteren met één tik.

Human Logo

Functieomschrijving

Alignerr

$1,000 Bounty

Formal Verification Scientist (Lean 4 & Mathlib)

entry-level

Salaris $170-$200/hourly

remote

contract