3 Jobs Found | Sort By : Relevance | Posted Date
Less results matching your search!
Try removing some of the filters to get more results
No results matching your search!
Try removing some of the filters to get more results
Lean Engineer Formal Mathematics
About the job Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco our investors include Benchmark General Catalyst Peter Thiel Adam DAngelo Larry Summers and Jack Dorsey. Position: Lean Engineer Formal Mathematics (Lean 4 Mathlib Theorem...
Mathematics Expert
IMPORTANT: after you apply please check your email. We send you a link to complete your application it is not considered until that last step is done. If you do not see it check your spam folder.This is a fully remote position open to candidates based in France.Pay: $80$90/hrRole Title: Mathematics...
Head Of Mathematics
Head of Mathematics Upper North Shore - Sydney Full-time 12-month contract view to permanent Experience leading a faculty is advantageous Co-educational Independent K-12 School Upper North Shore Sydney Location SH#8965School ProfileSchoolHouse is working in partnership with a Christian school on the...
