Job alerts. One tap apply. Download the Human app.For job alerts. One tap apply.
Job Description
$1,000 Bounty
Researcher - Lean 4 & Formal Proof Systems
entry-level
Pay $170-$200/hourly
remote
contract
About Alignerr