Mercor

51 – 200 Darbinieki

Mercor pieejamajā profilā nav pietiekami daudz pārbaudītas informācijas par uzņēmuma produktiem, pakalpojumiem, klientiem, darbības nozari vai personāla atlases fokusu, lai sagatavotu precīzu uzņēmuma aprakstu. Lai aprakstītu uzņēmumu vai tā piedāvātās iespējas, nepieciešams papildu avota materiāls.

Vakances uzņēmumā

Lean 4 Formal Mathematics Engineer

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

pirms 12 stundām

Amerikas Savienotās Valstis

90 $ – 110 $ / stunda

Attālināti Nepilna slodze Vidējais līmenis Vecākais speciālists Nepieciešamā Valoda: angļu Inženieris

Haskell

Apraksts

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.

Prasības

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.

Priekšrocības

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.

Saistītās vakances

201 – 500 Darbinieki

Finanses Nekustamais īpašums SaaS

Indija Attālināti Pilna slodze Vecākais speciālists Nepieciešamā Valoda: angļu Programmatūras inženieris

JavaScript Mākonis Python TypeScript

Protect Juniper Square’s private markets platform across its applications, cloud infrastructure, and AI features. Build vulnerability defenses, security automation, and safeguards that help teams ship secure software.

Atvērt

11 – 50 Darbinieki

Konsultācijas Mārketings Personāla atlase

Zviedrija Hibrīdi Pilna slodze Vecākais speciālists Nepieciešamā Valoda: angļu Sistēmu inženieris

C++Linux Mākonis

Optimize Nimbra Edge dataplane software for live media transport, improving performance across Linux, networking and hardware. Work with DPDK and SMPTE ST 2110 in a hybrid role based in Sweden.

Atvērt

H1B vīzas sponsors Konsultācijas Loģistika Ražošana

Apvienotie Arābu Emirāti Klātienē Pilna slodze Vecākais speciālists Nepieciešamā Valoda: angļu Lauka inženieris

Lead field crews, equipment deployment, and on-site technical problem-solving at customer rig sites. Support Baker Hughes energy services, tenders, logistics, and invoicing in Abu Dhabi.

Atvērt

201 – 500 Darbinieki

H1B vīzas sponsors B2B Fintech SaaS

Apvienotā Karaliste Attālināti Pilna slodze Vadošais speciālists Nepieciešamā Valoda: angļu Sistēmu inženieris

AWS Mākonis Terraform

Lead secure infrastructure, integrations, and automation for Paddle’s Merchant of Record payments platform. Advance cloud security, compliance, and operational reliability across global teams.

Atvērt

H1B vīzas sponsors Konsultācijas Loģistika Veselības aprūpe

Indija Klātienē Pilna slodze Vidējais līmenis Vecākais speciālists Nepieciešamā Valoda: angļu Sistēmu inženieris

Configure and optimize Kyndryl customer mainframe environments, supporting secure and reliable z/OS workloads. Investigate complex system issues and help maintain stable enterprise infrastructure.

Atvērt

Banku darbība Fintech Uzņēmums

Apvienotā Karaliste

31 000 £ – 33 000 £ / gads

Klātienē Pilna slodze Vidējais līmenis Vecākais speciālists Nepieciešamā Valoda: angļu Lauka inženieris

Repair and maintain ATMs across Central Yorkshire for NCR Atleos, diagnosing faults and resolving customer issues. The role involves field work, service-level commitments, and a five-day rota that includes weekends.

Atvērt

H1B vīzas sponsors Konsultācijas Loģistika Veselības aprūpe

Amerikas Savienotās Valstis

176 000 $ – 282 000 $ / gads

Attālināti Pilna slodze Vecākais speciālists Vadošais speciālists Nepieciešamā Valoda: angļu Sistēmu inženieris

AWS Azure Go Java Kubernetes Linux Mākonis Mikropakalpojumi Python React Sadalītās sistēmas TypeScript Unix

Lead AI/ML, AWS, and modernization solutions for Peraton’s national security programs. Advise government customers and shape cloud-native technology for federal missions.

Atvērt

Banku darbība Fintech Uzņēmums

Apvienotā Karaliste

31 000 £ – 33 000 £ / gads

Klātienē Pilna slodze Vidējais līmenis Vecākais speciālists Nepieciešamā Valoda: angļu Lauka inženieris

Repair and maintain NCR Atleos ATMs across East Yorkshire, diagnosing faults and resolving customer issues on site. The role involves regional travel, equipment installation and servicing, and compliance with service and safety standards.

Atvērt