Mercor
Mercor
51 – 200 Mga Empleyado
Ang available na profile ng Mercor ay walang sapat na beripikadong impormasyon tungkol sa mga produkto, serbisyo, customer, sektor, o pokus nito sa pagkuha ng empleyado upang makapaglahad ng tumpak na pangkalahatang-ideya ng kumpanya. Kailangan ng karagdagang source material bago mailarawan ang negosyo o mga oportunidad nito.

Inhinyero ng Lean 4, Pormal na Matematika

Sumulat at magsuri ng mga patunay sa Lean 4 para sa AI lab, gawing pormal ang matematika, at tasahin ang gawaing nagpapatunay ng teorem na ginawa ng AI.

Paglalarawan

  • Gumawa ng tama at idiomatikong mga pahayag at patunay sa Lean 4 na nakokompila gamit ang kasalukuyang mathlib
  • Gawing pormal ang matematika mula sa mga likas na wikang sanggunian, mula sa mga problema sa kompetisyon at aklat-aralin hanggang sa mga lemma sa pananaliksik
  • Suriin ang mga pahayag at patunay sa Lean na ginawa ng AI, tukuyin ang mga mali, at magbigay ng tiyak na nakasulat na puna
  • Bumuo ng mga alituntunin at rubrik para sa kalidad ng patunay, katapatan ng mga pahayag, at mga kumbensiyon ng mathlib
  • Makipagtulungan sa mga inhinyero ng Lean at mananaliksik upang mapanatili ang magkakatulad na pamantayan at mapahusay ang kalidad
  • Mag-ambag sa mga proyektong nagsasanay at nagpapahusay sa mga sistema ng AI

Mga Kinakailangan

  • Praktikal na karanasan sa pagsulat ng mga pormal na patunay sa Lean 4
  • Pamilyar sa mathlib at mga taktika ng Lean 4, kabilang ang paghahanap at paggamit ng angkop na mga lemma
  • Matibay na pundasyon sa matematikang nakabatay sa patunay, teoretikal na computer science, o lohika, na naipapakita sa pamamagitan ng degree o rekord sa pananaliksik
  • Kayang isalin ang mga nakasulat na pahayag at patunay sa matematika tungo sa wastong pormal na pahayag at beripikadong patunay
  • Handang magtrabaho nang hindi bababa sa 20 oras bawat linggo ng trabaho, na may maaasahang paglahok
  • Malinaw na komunikasyong pasulat at kakayahang ipaliwanag nang tiyak ang mga estratehiya sa patunay at mga pasiya sa pormalisasyon
  • Mas kanais-nais: karanasan sa Coq/Rocq, Isabelle, Agda, Haskell, metaprogramming sa Lean, o gawaing AI para sa matematika
  • Hindi dapat kasalukuyang nangangailangan ng sponsorship o suporta para sa H-1B o STEM OPT

Mga Benepisyo

  • Trabahong W-2 na pinangangasiwaan ng Cincinnatus LLC o angkop na internasyonal na entidad ang payroll, mga benepisyo, at pagsunod sa mga patakaran
  • Ganap na remote na trabaho
  • Flexible na oras, at matatapos ang trabaho ayon sa sarili mong iskedyul
  • Lingguhang bayad sa pamamagitan ng Stripe o Wise para sa mga serbisyong naibigay
  • Pagkakataong makipagtulungan sa mga nangungunang mananaliksik
  • Bayad sa referral na hanggang $1,760 para sa bawat matagumpay na referral, alinsunod sa mga limitasyon

Mga Kaugnay na Trabaho

Mouser Electronics

UX Designer III, E-commerce

Mouser Electronics
1,001 – 5,000 Mga Empleyado
LogisticsPagkonsultaPagmemerkado

Nagdidisenyo ng mga responsive na karanasan sa web, mobile, at HTML para sa Mouser Electronics, isang pandaigdigang distributor ng semiconductor at mga component. Gumagamit ang tungkulin ng pananaliksik, prototyping, usability testing, at analytics upang hubugin ang karanasan sa e-commerce.

Buksan
BLUE ORIGIN

Tagapamahala ng Disenyo ng mga Sistema ng Fluido

BLUE ORIGIN

Pangunahan ang multidisciplinary na pangkat na responsable sa disenyo, pagmamanupaktura, at pagsubok ng mga sistema ng fluido para sa MK1 Lunar Lander ng Blue Origin. Sanayin at paunlarin ang mga inhinyero at pagbutihin ang hardware ng propulsion system.

Buksan
Joma Jewellery & Katie Loxton

Midlevel na CAD Designer ng Alahas

Joma Jewellery & Katie Loxton
51 – 200 Mga Empleyado
ModaPagtitingi

Magdisenyo ng abot-kayang marangyang alahas at aksesorya para sa Joma Jewellery, mula sa mga konsepto sa Matrix Gold CAD hanggang sa produksyon at pag-personalize. Pinagsasama ng tungkulin ang teknikal na disenyo, pakikipagtulungan sa mga pabrika, at pamamahala ng proyekto mula simula hanggang dulo.

Buksan
Daimler Truck North America

Intern na UX Designer — Daimler Truck North America

Daimler Truck North America

Magdisenyo at magpatunay ng mga digital na interface ng sasakyan sa Daimler Truck North America, at bumuo ng mga prototype at sistema ng disenyo kasama ang mga pandaigdigang pangkat sa disenyo, engineering, at produkto. Hybrid ang internship na ito at nakabase sa Portland, Oregon.

Buksan