Senior Content Lead at Brandlight
Brandlight
Lead executive thought leadership, research-led storytelling, and content distribution at Brandlight. Build AI visibility narratives for enterprise marketing audiences.
Ochish
51 – 200 Xodimlar
Mercor’ning mavjud profilida uning mahsulotlari, xizmatlari, mijozlari, faoliyat sohasi yoki ishga yollash yo‘nalishi haqida kompaniyaga aniq sharh berish uchun yetarli darajada tasdiqlangan ma’lumot mavjud emas. Biznes yoki undagi imkoniyatlarni tavsiflashdan oldin qo‘shimcha manba materiallari kerak.
Lean 4 Engineer, Formal Mathematics
Write and review Lean 4 proofs for an AI lab, formalizing mathematics and assessing AI-generated theorem-proving work.
Tavsif
- 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
Talablar
- 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
Imtiyozlar
- 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
O‘xshash ish o‘rinlari
AI Safety Red Teamer
Mercor51 – 200 Xodimlar
Amerika Qo‘shma Shtatlari70 $ – 84 $ / soat
MasofaviyShartnomaO‘rta darajaSeniorTalab Qilinadigan Til: inglizchaSun’iy intellektMercor seeks an AI Safety Red Teamer to probe frontier models with adversarial prompts. The work focuses on finding weaknesses and helping AI lab partners improve model alignment, robustness, and safety.
Ochish
AI Safety Red Teamer
Mercor51 – 200 Xodimlar
Amerika Qo‘shma Shtatlari70 $ – 84 $ / soat
MasofaviyShartnomaO‘rta darajaSeniorTalab Qilinadigan Til: inglizchaSun’iy intellektRed-team frontier AI systems for Mercor partner labs by exposing vulnerabilities and assessing high-risk model behavior. Design adversarial prompts and help document safety findings.
Ochish
Content Marketing Manager
ONSIDE
AvstraliyaGibridTo‘liq stavkaO‘rta darajaSeniorTalab Qilinadigan Til: inglizchaKontent marketing menejeriLead B2B content, customer stories, and case studies for Onside’s agricultural operations intelligence platform. Use performance data to grow the marketing pipeline.
Ochish
Remote Account Sales Executive, Healthcare
Bloomlife IncAmerika Qo‘shma ShtatlariMasofaviyTo‘liq stavkaO‘rta darajaSeniorTalab Qilinadigan Til: inglizchaSotuvGrow 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.
Ochish
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.
Ochish
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.
Ochish
Senior Executive Assistant, Digital Leadership
Trane TechnologiesAmerika Qo‘shma Shtatlari
Minnesota
Shimoliy Karolina61 300 $ – 109 655 $ / yil
GibridTo‘liq stavkaSeniorYetakchiTalab Qilinadigan Til: inglizchaRahbar yordamchisiSupport 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.
Ochish
Senior Executive Assistant
Hewlett Packard EnterpriseAmerika Qo‘shma Shtatlari
Texas40 $ – 93 $ / soat
GibridTo‘liq stavkaSeniorYetakchiTalab Qilinadigan Til: inglizchaRahbar yordamchisiProvide senior administrative support to Hewlett Packard Enterprise executives, including calendar management, presentations, budgets, travel, and coordination across departments.
Ochish
Executive Assistant, Dallas Hybrid
Hewlett Packard EnterpriseAmerika Qo‘shma ShtatlariTexas40 $ – 93 $ / soat
GibridTo‘liq stavkaSeniorYetakchiTalab Qilinadigan Til: inglizchaRahbar yordamchisiSupport Hewlett Packard Enterprise executives with calendars, presentations, travel, and budgets. Coordinate strategic administrative operations in a hybrid Texas role.
Ochish