For job alerts. One tap apply.

Human Logo

Job Description

Alignerr

$1,000 Bounty

Researcher - Lean 4 & Formal Proof Systems

entry-level

Pay $170-$200/hourly

remote

contract