LogoFresh Jobs Ahead
Mercor
Mercor
51 – 200 Angajați
Informațiile disponibile despre Mercor nu includ suficiente date verificate despre produsele, serviciile, clienții, sectorul sau direcția de recrutare a companiei pentru a permite o prezentare exactă. Sunt necesare mai multe surse înainte de a descrie activitatea companiei sau oportunitățile oferite.
LinkedIn
Locurile de muncă ale companiei

Lean 4 Formal Mathematics Engineer

Write and review Lean 4 proofs for an AI lab, formalizing mathematics and assessing AI-generated theorem-proving work.

USStatele Unite ale Americii
90 $ – 110 $ / oră
RemoteNormă parțialăNivel mediuSeniorLimbă Obligatorie: englezăInginer
Haskell

Descriere

  • Write idiomatic Lean 4 statements and proofs that compile with current mathlib.
  • Formalize mathematics from natural-language sources, including contest problems, textbook results, and research lemmas.
  • Review statements and proofs generated by AI systems.
  • Find failed proofs or proofs that establish an incorrect result, then provide clear written feedback.
  • Help create standards and rubrics for proof quality, statement fidelity, and mathlib conventions.
  • Work with Lean engineers and lab researchers to uphold consistent standards.
  • Contribute to projects that train and improve AI systems.

Cerințe

  • Practical experience writing formal proofs in Lean 4.
  • Familiarity with mathlib and Lean 4 tactics, including locating and applying suitable lemmas.
  • A strong foundation in proof-based mathematics, theoretical computer science, or logic, demonstrated through a degree or research record.
  • Ability to translate written mathematical statements and proofs into correct formal statements and checked proofs.
  • Availability to work at least 20 hours per week on weekdays.
  • Strong written communication skills, including the ability to explain proof strategies and formalization decisions precisely.
  • Preferred: experience with Coq/Rocq, Isabelle, Agda, Haskell, Lean metaprogramming, or AI for mathematics.
  • H1-B and STEM OPT candidates cannot be supported at this time.

Beneficii

  • W-2 employment through Cincinnatus LLC or an appropriate international entity.
  • Payroll, benefits, and compliance handled by the employer of record.
  • Fully remote work.
  • Flexible hours with the ability to set your own schedule.
  • Weekly payments through Stripe or Wise.
  • Opportunity to work with leading researchers.
  • Referral payments of up to $1,760 for each successful referral.

Locuri de muncă similare

BNY

Senior Director, Institutional Client Service

BNY
Sponsor pentru viza H1BFinanțeFintechServicii bancare
USStatele Unite ale AmericiiFLFloridaNYNew York
136.500 $ – 300.000 $ / an
HibridNormă întreagăSeniorLimbă Obligatorie: englezăReprezentant Servicii CliențiServicii pentru clienți
ServiceNow

Lead high-touch service and onboarding for BNY’s institutional banking clients, building executive relationships and owning service quality. Oversee service commitments, escalations, and cross-functional work to resolve client issues.

Deschide
Aprio

Client Service Director, Talent Advisory

Aprio
1.001 – 5.000 Angajați
Sponsor pentru viza H1BAsistență medicalăConstrucțiiConsultanță
USStatele Unite ale AmericiiCOColorado
137.000 $ – 283.400 $ / an
HibridNormă întreagăLiderLimbă Obligatorie: englezăReprezentant Servicii CliențiServicii pentru clienți

Lead Aprio’s Talent Advisory practice, oversee client relationships and portfolio growth, and build the business nationally. Develop sales and recruiting teams while delivering talent solutions across the United States.

Deschide
Worldwide Clinical Trials

Senior Proposals and Client Services Specialist

Worldwide Clinical Trials
1.001 – 5.000 Angajați
Sponsor pentru viza H1BAsistență medicalăConsultanțăLogistică
USStatele Unite ale AmericiiTXTexas
65.000 $ – 129.000 $ / an
RemoteNormă întreagăSeniorLimbă Obligatorie: englezăReprezentant Servicii CliențiServicii pentru clienți

Coordinate clinical trial proposals, RFI responses, budgets, and client service at Worldwide Clinical Trials. Help improve submission quality and operational efficiency.

Deschide