Mercor
Mercor
51 – 200 कर्मचारी
Mercor की उपलब्ध प्रोफ़ाइल में उसके उत्पादों, सेवाओं, ग्राहकों, क्षेत्र या भर्ती पर केंद्रित जानकारी के बारे में सटीक कंपनी परिचय तैयार करने के लिए पर्याप्त सत्यापित जानकारी शामिल नहीं है। व्यवसाय या इसके अवसरों का वर्णन करने से पहले अधिक स्रोत सामग्री आवश्यक है।

Lean 4 Formal Mathematics Engineer

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

विवरण

  • 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.

आवश्यकताएँ

  • 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.

लाभ

  • 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.

संबंधित नौकरियाँ

Sedgwick

Workers’ Compensation Claims Examiner, Hawaii

Sedgwick

Handle complex workers’ compensation claims in Hawaii for Sedgwick, from exposure investigations through resolution. Duties include evaluating benefits, negotiating settlements, and coordinating with claimants, clients, and excess carriers.

खोलें
Great American Insurance Group

Senior Workers' Compensation Claims Specialist - Great American Insurance Group (Remote)

Great American Insurance Group
5,001 – 10,000 कर्मचारी
B2Bबीमा

Handle complex workers’ compensation claims in California and Oregon for Strategic Comp, a specialty insurance provider. Investigate claims, set reserves, negotiate settlements, and guide cases to resolution in a remote role.

खोलें
Mercury Insurance

Remote Property Claims Examiner II

Mercury Insurance

Investigate and settle moderate homeowners property claims for Mercury Insurance through virtual inspections, damage estimates, and negotiations with policyholders and vendors.

खोलें
Travelers

General Liability Claims Representative

Travelers

Manage injury and property damage claims for Travelers, a property and casualty insurer. Investigate coverage, liability, damages, reserves, and settlements, and issue claim payments.

खोलें
HealthEdge

Remote Claims Examiner II — HealthEdge

HealthEdge

Adjudicate healthcare claims for HealthEdge’s health insurance operations platform, reviewing coding, coverage criteria, and payment edits. The role also includes mentoring junior colleagues and contributing to quality and process projects.

खोलें
American Family Insurance

Associate Claims Care Center Representative (Hybrid) — American Family Insurance

American Family Insurance

Handle customer inquiries about new and existing claims by phone and through digital channels. Review coverage, process payments, and support low-complexity claims.

खोलें
Liventus, Inc.

B2B Digital Marketing Manager, India Remote

Liventus, Inc.

Lead B2B and digital marketing for Liventus’s technology services in India. Own web, SEO, content, campaigns, events, sales alignment and performance reporting.

खोलें
CareerTeam

Workforce Modernization Architect

CareerTeam
201 – 500 कर्मचारी
B2Bपरामर्शभर्ती

Translate federal workforce reporting rules into software requirements and validation logic. Support CareerTeam’s government-funded workforce development customers with accurate, compliant reporting.

खोलें
Gong

Senior Manager, Enterprise Revenue Architecture

Gong

Lead Revenue Architects who help enterprise customers adopt Gong’s AI Operating System and achieve stronger outcomes across ROI, renewals, and expansion. Gong applies AI to transform revenue team workflows.

खोलें
Westernacher Consulting

Senior SAP FICO Solutions Architect

Westernacher Consulting

Lead SAP S/4HANA Finance transformations for Westernacher Consulting’s international clients. Shape solution architecture, run client workshops, and guide delivery from design through go-live.

खोलें