Tech and dataLive
Formalize math in Lean 4, $90-110/hr
Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) · MERCOR
$90-110/hr
What the listing actually says
Open worldwide
About 20 hrs/week
Write Lean 4 statements and proofs that compile against mathlib, and review AI-generated proofs to find where they fail. W-2 role through Cincinnatus LLC.
When you sign up, the platform shows Ulysse Chailley as the person who referred you. That's me. I run AI Gigs Daily, and the platform pays me a referral fee if you get hired. It costs you nothing and your pay is exactly the same. The platforms listed here do not charge candidates. If anyone asks you to pay for one of these gigs, it is not the platform.
More tech and data gigs open now
Rate AI video on craft, $70-100/hrFilm & Video Craft Expert (Camera, VFX, Editing & Performance) · $70-100/hr · MERCORCritique AI character animation, $60-90/hrSenior Character Animator · $60-90/hr · MERCORCatch AI circuit design errors, $80-120/hrElectrical Engineer · $80-120/hr · MERCORApp security for AI agents, $40-80/hrApp Security Expert · $40-80/hr · MICRO1Clinical and microbiome research, $45-90/hrClinical, Microbiome & Translational Research Scientist (PhD) · $45-90/hr · MICRO1Agriculture and forestry AI work, $40-60/hrAgriculture, Forestry & Environmental Experts · $40-60/hr · MICRO1Lead a pool of AI experts, $45-70/hrProgram Lead · $45-70/hr · MERCORTrain AI on Chinese clinical work, $120/hrMedical Expert, Mandarin Chinese (mainland China) - AI Training · $120/hr · MERCORReview documents for PII, $31-60/hrPrivacy Analyst · $31-60/hr · MICRO1Close data partnership deals, $20-30/hrData Partnerships Manager · $20-30/hr · MICRO1