Mercor
Mercor
51 – 200 Қызметкерлер
Mercor компаниясының қолжетімді профилінде оның өнімдері, қызметтері, клиенттері, саласы немесе жұмысқа қабылдау бағыты туралы компанияны нақты сипаттауға жеткілікті расталған ақпарат жоқ. Бизнесті немесе ондағы мүмкіндіктерді сипаттамас бұрын қосымша бастапқы материал қажет.

Lean 4 Engineer, Formal Mathematics

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

Сипаттама

  • Create correct, idiomatic Lean 4 statements and proofs that compile with current mathlib
  • Formalize mathematics from natural-language sources, from competition problems and textbooks to research lemmas
  • Evaluate AI-generated Lean statements and proofs, identify errors, and provide specific written feedback
  • Develop guidelines and rubrics for proof quality, faithful statements, and mathlib conventions
  • Work with Lean engineers and researchers to uphold consistent standards and improve quality
  • Contribute to projects that train and improve AI systems

Талаптар

  • 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 verified proofs
  • Availability to work at least 20 hours each weekday week, with dependable engagement
  • Clear written communication and the ability to explain proof strategies and formalization decisions precisely
  • Preferred: experience with Coq/Rocq, Isabelle, Agda, Haskell, Lean metaprogramming, or AI-for-mathematics work
  • Must not currently need H-1B or STEM OPT sponsorship or support

Артықшылықтар

  • W-2 employment with payroll, benefits, and compliance handled through Cincinnatus LLC or an appropriate international entity
  • Fully remote work
  • Flexible hours, with work completed on your own schedule
  • Weekly payments through Stripe or Wise for services rendered
  • Opportunity to collaborate with leading researchers
  • Referral payments of up to $1,760 per successful referral, subject to limits

Ұқсас жұмыс орындары

ONSIDE

Content Marketing Manager

ONSIDE
1 – 10 Қызметкерлер
КонсалтингОйын-сауықСпорт

Lead B2B content, customer stories, and case studies for Onside’s agricultural operations intelligence platform. Use performance data to grow the marketing pipeline.

Ашу
Bloomlife Inc

Remote Account Sales Executive, Healthcare

Bloomlife Inc

Grow Bloomlife’s remote maternal-fetal monitoring business by selling remote patient monitoring solutions to OB/GYN practices and health systems. Manage the full sales cycle, from prospecting and clinical presentations to contract negotiations and deployment handoffs.

Ашу
Illumina

Clinical Sales Specialist, Genomics — Thailand, Indonesia and Vietnam

Illumina

Support Illumina’s clinical genomics sales across Thailand, Indonesia and Vietnam, advising customers on applications, workflows and products. The role spans reproductive and genetic health, oncology, customer development and regional market growth.

Ашу
F5

Sales Licensing Partner III – Singapore

F5

Support F5 sellers with Flex Consumption licensing deals, from pricing and contract reviews through quote-to-cash execution. Coordinate regional stakeholders, resolve operational issues, and improve licensing processes.

Ашу
Trane Technologies

Senior Executive Assistant, Digital Leadership

Trane Technologies

Support Trane Technologies’ Digital leadership team by coordinating executive schedules, travel, meetings, communications, and procurement. The role covers leaders across the United States and requires on-site work in White Bear Lake, Minnesota, Monday through Thursday.

Ашу
Hewlett Packard Enterprise

Senior Executive Assistant

Hewlett Packard Enterprise

Provide senior administrative support to Hewlett Packard Enterprise executives, including calendar management, presentations, budgets, travel, and coordination across departments.

Ашу
Hewlett Packard Enterprise

Executive Assistant, Dallas Hybrid

Hewlett Packard Enterprise

Support Hewlett Packard Enterprise executives with calendars, presentations, travel, and budgets. Coordinate strategic administrative operations in a hybrid Texas role.

Ашу
GlobeLife

Remote Customer Retention Representative

GlobeLife

Help Globe Life policyholders keep their coverage and restore lapsed life insurance policies in this remote customer retention role. Handle inbound and outbound calls, discuss coverage and payment options, document outcomes, and meet retention targets.

Ашу
Bundesverbraucherhilfe e.V.

Editor-in-Chief, Federal Consumer Bulletin (Volunteer)

Bundesverbraucherhilfe e.V.

Lead the volunteer editorial team behind Bundesverbraucherhilfe’s daily consumer news bulletin. Oversee journalistic standards, editorial independence, coverage, and team development.

Ашу
Our National Conversation (ONC)

Remote Editorial Lead Intern (California)

Our National Conversation (ONC)
51 – 200 Қызметкерлер
B2CКоммерциялық емесМедиа

Lead writers, publication schedules, and editorial standards as an intern with Our National Conversation. Support its mission to reduce partisanship and promote solutions through youth-driven media.

Ашу