Job-Alerts. Bewerben mit einem Klick.

Human Logo

Stellenbeschreibung

Alignerr

$1,000 Bounty

Formal Verification Scientist (Lean 4 & Mathlib)

entry-level

Gehalt $170-$200/hourly

remote

contract