Mercor
Mercor
51 – 200 Çalışanlar
Mercor’un mevcut profili; ürünleri, hizmetleri, müşterileri, faaliyet gösterdiği sektör veya işe alım odağı hakkında doğru bir şirket tanıtımı hazırlamak için yeterli doğrulanmış bilgi içermiyor. Şirketi ya da sunduğu fırsatları açıklamadan önce daha fazla kaynak materyale ihtiyaç duyuluyor.

Lean 4 Mühendisi, Formel Matematik

Bir yapay zekâ laboratuvarı için Lean 4 ispatları yazıp gözden geçirin; matematiği biçimselleştirin ve yapay zekâ tarafından üretilen teorem ispatlarını değerlendirin.

Açıklama

  • Güncel mathlib ile derlenen doğru ve deyimsel Lean 4 ifadeleri ve ispatları oluşturun
  • Yarışma problemleri ve ders kitaplarından araştırma lemmalarına kadar doğal dildeki kaynaklardaki matematiği biçimselleştirin
  • Yapay zekâ tarafından üretilen Lean ifadelerini ve ispatlarını değerlendirin, hataları belirleyin ve somut yazılı geri bildirim verin
  • İspat kalitesi, ifadelere sadakat ve mathlib kuralları için yönergeler ve değerlendirme ölçütleri geliştirin
  • Tutarlı standartları korumak ve kaliteyi artırmak için Lean mühendisleri ve araştırmacılarla birlikte çalışın
  • Yapay zekâ sistemlerini eğitmeye ve geliştirmeye yönelik projelere katkıda bulunun

Gereksinimler

  • Lean 4 ile biçimsel ispat yazma konusunda uygulamalı deneyim
  • mathlib ve Lean 4 taktiklerine aşinalık; uygun lemmaları bulup uygulama becerisi
  • Bir derece veya araştırma geçmişiyle ortaya konmuş, ispat temelli matematik, teorik bilgisayar bilimi ya da mantık alanında güçlü temel
  • Yazılı matematiksel ifadeleri ve ispatları doğru biçimsel ifadelere ve doğrulanmış ispatlara dönüştürebilme
  • Hafta içi her hafta en az 20 saat çalışabilme ve düzenli katılım
  • İspat stratejilerini ve biçimselleştirme kararlarını açık ve kesin biçimde anlatabilen güçlü yazılı iletişim becerisi
  • Tercihen Coq/Rocq, Isabelle, Agda, Haskell, Lean metaprogramlama veya matematik için yapay zekâ çalışmaları deneyimi
  • H-1B veya STEM OPT sponsorluğu ya da desteğine şu anda ihtiyaç duymuyor olmak

Yan Haklar

  • Bordro, yan haklar ve uyumluluk işlemleri Cincinnatus LLC veya uygun bir uluslararası kuruluş aracılığıyla yürütülen W-2 istihdamı
  • Tamamen uzaktan çalışma
  • Esnek çalışma saatleri; işi kendi programınıza göre tamamlama
  • Sunulan hizmetler karşılığında Stripe veya Wise üzerinden haftalık ödeme
  • Önde gelen araştırmacılarla iş birliği yapma fırsatı
  • Koşullara ve sınırlara tabi olarak, başarılı her yönlendirme için 1.760 dolara kadar ödeme

İlgili İş İlanları

The Nursing and Midwifery Council

Hukuk Hizmetleri Dönüşüm Başkanı

The Nursing and Midwifery Council

Hemşirelik ve Ebelik Konseyi’nin hukuk hizmetleri dönüşümüne liderlik ederek gelecekteki çalışma modelini şekillendirin ve hukuk kapasitesini güçlendirin. Üst düzey yöneticilerle iş birliği yaparak yönetişime, kurumsal değişime ve kalıcı benimsemeye rehberlik edin.

Aç
DaVita Kidney Care

Direktör, Şirket Hukuk Danışmanı — Sağlık Hizmetleri Sözleşmeleri

DaVita Kidney Care

DaVita’nın diyaliz operasyonlarına sağlık hukuku konusunda danışmanlık verir; hekim ve klinik hizmet sözleşmelerini müzakere eder. Uyum, uyuşmazlıklar, risk yönetimi ve hukuk sözleşme süreçlerinin iyileştirilmesine rehberlik eder.

Aç
Severn Trent

TicBari Hukuk Danışmanı – Severn Trent, Coventry (Hibrit)

Severn Trent

Severn Trent Water’a ticari sözleşmeler, tedarik, teknoloji ve fikrî mülkiyet konularında danışmanlık verin. Coventry merkezli hibrit görevde stratejik projeleri, müzakereleri ve hukuki risk yönetimini destekleyin.

Aç
Priceline

Kıdemli Hukuk Danışmanı, Küresel Uyum ve Etik

Priceline
1.001 – 5.000 Çalışanlar
H1B Vizesi SponsoruLojistikPazarlamaSeyahat

Booking Holdings’in küresel seyahat markaları için uyum risk incelemelerine, politika geliştirmeye ve etik programlarına liderlik edin. Ekipleri mevzuata uyum riskleri ve iş etiği konusunda yönlendirin.

Aç
Stitch Fix

Teknoloji Portföyü ve Program Yönetimi Direktörü

Stitch Fix

Stitch Fix’te teknoloji portföy planlamasına ve program yönetimine liderlik ederek ürün, mühendislik ve iş yatırımlarını ölçülebilir sonuçlara bağlayın. Bu rol, veri bilimi ve yapay zekâ aracılığıyla şirketin kişiselleştirilmiş perakende modelini destekler.

Aç
Stitch Fix

Seçkin Kurumsal Teknoloji Mimarı

Stitch Fix

Stitch Fix’in kişiselleştirilmiş perakende teknolojisinin mimari yönünü belirleyin; bulut, veri ve yapay zekâ alanlarında modernizasyona rehberlik edin. Dayanıklı platformlar ve uzun vadeli mühendislik yatırımları konusunda yöneticilere danışmanlık verin.

Aç
Trowers & Hamlins

Vezető munkatárs vagy jogi igazgató – bérleti jogok megváltása, Birmingham (hibrid)

Trowers & Hamlins
1.001 – 5.000 Çalışanlar
GayrimenkulHukukİnşaat

Tanácsadás bérbeadóknak, befektetőknek, fejlesztőknek és bérlőknek bérleti szerződések meghosszabbításáról, közös tulajdonszerzésről és az ingatlankezelés átvételére irányuló igényekről. A munkakör kiterjed az elővásárlási jogokra, a jogterület reformjára és a kapcsolódó ingatlanvitákra is.

Aç
Trowers & Hamlins

Kıdemli Avukat veya Hukuk Direktörü, Uzun Süreli Kiracılık Hakkının Kazanılması

Trowers & Hamlins
1.001 – 5.000 Çalışanlar
GayrimenkulHukukİnşaat

Trowers & Hamlins’in Manchester Gayrimenkul Uyuşmazlıkları ekibine katılarak uzun süreli kiracılık hakkının kazanılmasına ilişkin konularda danışmanlık verin. Görev; ev sahipleri, geliştiriciler, yatırımcılar ve kiracılar için yasal talepleri ve uzlaşma süreçlerini kapsar.

Aç