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

Lean 4 Formal Mathematics Engineer

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

USАмерика Құрама Штаттары
90 $ – 110 $ / сағат
ҚашықтанЖарты жұмыс күніОрта деңгейАға маманҚажетті Тіл: ағылшын тіліИнженер
Haskell

Сипаттама

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

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

Neilson Financial Services

Customer Care Claims Manager at Neilson Financial Services

Neilson Financial Services
501 – 1 000 Қызметкерлер
Білікті жұмысшы визасының демеушісіДенсаулық сақтауКонсалтингМаркетинг
GBҰлыбританияАраласТолық жұмыс күніКіші маманОрта деңгейДиплом талап етілмейдіҚажетті Тіл: ағылшын тіліТұтынушыларды қолдау
NFS

Lead and coach claims teams to improve service quality at Neilson Financial Services. Support families through the company’s life insurance operations.

Ашу
Group O

Client Services Representative — Group O

Group O
1 001 – 5 000 Қызметкерлер
КонсалтингЛогистикаМаркетинг
USАмерика Құрама ШтаттарыILИллинойс
18 $ – 22 $ / сағат
АраласТолық жұмыс күніКіші маманОрта деңгейДиплом талап етілмейдіҚажетті Тіл: ағылшын тіліКлиенттерге қызмет көрсету өкіліКлиенттермен жұмыс
ERP

Support Group O clients by managing ERP orders, resolving inquiries and coordinating with internal teams. Build strong client relationships while helping improve service and satisfaction.

Ашу
A

Remote Bilingual Customer Service Agent (English and Spanish)

Advantage TeleMessaging, Inc.
11 – 50 Қызметкерлер
Денсаулық сақтауКонсалтингЛогистика
USАмерика Құрама ШтаттарыFLФлоридаMDМэрилендPAПенсильванияVAВиргинияWVБатыс Виргиния
15 $ / сағат
ҚашықтанТолық жұмыс күніОрта деңгейАға маманҚажетті Тіл: ағылшын тіліҚажетті Тіл: испан тіліТұтынушыларды қолдау

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

Ашу
BetterMe

AI Content Producer

BetterMe
201 – 500 Қызметкерлер
Азық-түлік және сусындарДенсаулық сақтауМаркетинг
UAУкраинаҚашықтанТолық жұмыс күніОрта деңгейАға маманҚажетті Тіл: ағылшын тіліКонтент жасаушы

Build and scale generative AI workflows for BetterMe’s wellness content. Improve tools, prompts, automation, and creative performance across photo, video, graphics, and text.

Ашу
Northwoods

Senior Software Engineer, Ruby on Rails and React

Northwoods
51 – 200 Қызметкерлер
КонсалтингЛогистикаМаркетинг
USАмерика Құрама ШтаттарыOHОгайоАраласТолық жұмыс күніАға маманҚажетті Тіл: ағылшын тіліБағдарламалық жасақтама инженеріФулстек-инженер
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.

Ашу
New Era Technology

Remote Sales Support Specialist — Philippines

New Era Technology
1 001 – 5 000 Қызметкерлер
H1B визасының демеушісіДенсаулық сақтауКонсалтингЛогистика
PHФилиппин аралдарыҚашықтанТолық жұмыс күніКіші маманОрта деңгейДиплом талап етілмейдіҚажетті Тіл: ағылшын тіліТұтынушыларды қолдау

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

Ашу
CNA Insurance

CNA Insurance Customer Service Specialist, Hybrid in Lake Mary

CNA Insurance
5 001 – 10 000 Қызметкерлер
Білікті жұмысшы визасының демеушісіДенсаулық сақтауҚұрылысӨндіріс
USАмерика Құрама ШтаттарыFLФлоридаILИллинойсPAПенсильвания
35 000 $ – 65 000 $ / жыл
АраласТолық жұмыс күніКіші маманДиплом талап етілмейдіҚажетті Тіл: ағылшын тіліТұтынушыларды қолдау

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

Ашу
Oxylabs.io

Videographer

Oxylabs.io
201 – 500 Қызметкерлер
КонсалтингЛогистикаМаркетинг
LTЛитва
2 100 € – 3 000 € / ай
АраласТолық жұмыс күніКіші маманОрта деңгейДиплом талап етілмейдіҚажетті Тіл: ағылшын тіліҚажетті Тіл: литва тіліБейнеоператорЖалпы

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.

Ашу