Lean Theorem Proving Engineer Verified Code Generation Deepmind

Google

Salary: $174k – $252k
Experience: 3+ years
Education: PhD
Source: Custom

Skills

RustHaskellMachine LearningiOS

Similar Jobs

2

Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)

Mercor·Remote

$90 – $110/hr

1w ago

Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)

Mercor·Remote

$90 – $110/hr

1w ago