LogoFresh Jobs Ahead
Mercor
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.
LinkedIn
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.

USAmerikas Savienotās Valstis
90 $ – 110 $ / stunda
AttālinātiNepilna slodzeVidējais līmenisVecākais speciālistsNepieciešamā Valoda: angļuInž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

A

Remote Bilingual Customer Service Agent (English and Spanish)

Advantage TeleMessaging, Inc.
11 – 50 Darbinieki
KonsultācijasLoģistikaVeselības aprūpe
USAmerikas Savienotās ValstisFLFloridaMDMerilendaPAPensilvānijaVAVirdžīnijaWVRietumvirdžīnija
15 $ / stunda
AttālinātiPilna slodzeVidējais līmenisVecākais speciālistsNepieciešamā Valoda: angļuNepieciešamā Valoda: spāņuKlientu atbalsts

Handle calls and relay messages for Advantage TeleMessaging’s nationwide answering service. Support English- and Spanish-speaking callers remotely.

Atvērt
Northwoods

Senior Software Engineer, Ruby on Rails and React

Northwoods
51 – 200 Darbinieki
KonsultācijasLoģistikaMārketings
USAmerikas Savienotās ValstisOHOhaioHibrīdiPilna slodzeVecākais speciālistsNepieciešamā Valoda: angļuFull-stack inženierisProgrammatūras inženieris
AWSJavaScriptPostgresReactRubyRuby on RailsSDLCTypeScript

Lead end-to-end development of Northwoods’ HHS case-management SaaS products, from design and testing to production support. Work across Rails, React/TypeScript, PostgreSQL, AWS, and AI-assisted development.

Atvērt
New Era Technology

Remote Sales Support Specialist — Philippines

New Era Technology
1001 – 5000 Darbinieki
H1B vīzas sponsorsKonsultācijasLoģistikaVeselības aprūpe
PHFilipīnasAttālinātiPilna slodzeJaunākais speciālistsVidējais līmenisGrāds nav nepieciešamsNepieciešamā Valoda: angļuKlientu atbalsts

Support New Era Technology’s sales team with quotes, renewals, orders, and procurement. Maintain ConnectWise records while coordinating with customers, suppliers, and internal teams.

Atvērt
CNA Insurance

CNA Insurance Customer Service Specialist, Hybrid in Lake Mary

CNA Insurance
5001 – 10 000 Darbinieki
Kvalificēta darbinieka vīzas sponsorsBūvniecībaRažošanaVeselības aprūpe
USAmerikas Savienotās ValstisFLFloridaILIlinoisaPAPensilvānija
35 000 $ – 65 000 $ / gads
HibrīdiPilna slodzeJaunākais speciālistsGrāds nav nepieciešamsNepieciešamā Valoda: angļuKlientu atbalsts

Assist CNA insurance customers, agents, and brokers by phone, email, and within applications. Track issues and guide them through timely resolution.

Atvērt
Oxylabs.io

Videographer

Oxylabs.io
201 – 500 Darbinieki
KonsultācijasLoģistikaMārketings
LTLietuva
2100 € – 3000 € / mēnesis
HibrīdiPilna slodzeJaunākais speciālistsVidējais līmenisGrāds nav nepieciešamsNepieciešamā Valoda: angļuNepieciešamā Valoda: lietuviešuVideogrāfsVispārīgi

Create photography and video content at Oxylabs, a company developing web data gathering solutions. Produce employer branding, internal communications, and culture stories through visual media.

Atvērt
Walmart

Staff Software Engineer, Agentic AI — Walmart

Walmart
B2CElektroniskā komercijaMazumtirdzniecība
USAmerikas Savienotās Valstis
110 000 $ – 220 000 $ / gads
KlātienēPilna slodzeVadošais speciālistsNepieciešamā Valoda: angļuFull-stack inženierisProgrammatūras inženieris
AWSAzureGoogle Cloud PlatformJavaJavaScriptMākonisMikropakalpojumiPythonSadalītās sistēmasTypeScript

Lead the architecture and development of scalable agentic AI applications and multi-agent systems at Walmart. Partner across engineering, data science, product, and business teams to deliver enterprise AI products.

Atvērt