LogoFresh Jobs Ahead
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.
LinkedIn
Mga Trabaho sa Kumpanya

Inhinyero sa Pormal na Matematika ng Lean 4

Sumulat at magsuri ng mga patunay sa Lean 4 para sa AI lab, magpormalisa ng matematika at magsuri ng gawaing pagpapatunay ng teoremang ginawa ng AI.

USEstados Unidos
$90 – $110 / oras
RemotePart-timeGitnang antasSeniorKinakailangang Wika: InglesInhinyero
Haskell

Paglalarawan

  • Sumulat ng mga idiomatikong pahayag at patunay sa Lean 4 na nakokompila gamit ang kasalukuyang mathlib.
  • Magpormalisa ng matematika mula sa mga likas na wikang sanggunian, kabilang ang mga problemang paligsahan, resulta sa aklat-aralin, at lemma mula sa pananaliksik.
  • Suriin ang mga pahayag at patunay na ginawa ng mga AI system.
  • Tukuyin ang mga bigong patunay o patunay na nagtatatag ng maling resulta, at pagkatapos ay magbigay ng malinaw na nakasulat na puna.
  • Tumulong gumawa ng mga pamantayan at rubrik para sa kalidad ng patunay, katapatan ng pahayag, at mga kumbensiyon ng mathlib.
  • Makipagtulungan sa mga inhinyero ng Lean at mananaliksik ng lab upang mapanatili ang magkakatugmang pamantayan.
  • Mag-ambag sa mga proyektong nagsasanay at nagpapahusay sa mga AI system.

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 agham pangkompyuter, o lohika, na maipapakita sa pamamagitan ng digri o rekord sa pananaliksik.
  • Kayang isalin ang mga nakasulat na pahayag at patunay sa matematika tungo sa wastong pormal na mga pahayag at napatunayang patunay.
  • Kayang magtrabaho nang hindi bababa sa 20 oras bawat linggo sa mga araw ng trabaho.
  • Mahusay na kasanayan sa nakasulat na komunikasyon, kabilang ang kakayahang ipaliwanag nang tiyak ang mga estratehiya sa pagpapatunay at mga pasiya sa pormalisasyon.
  • Mas gusto: karanasan sa Coq/Rocq, Isabelle, Agda, Haskell, Lean metaprogramming, o AI para sa matematika.
  • Hindi masuportahan sa ngayon ang mga kandidatong H1-B at STEM OPT.

Mga Benepisyo

  • Trabahong W-2 sa pamamagitan ng Cincinnatus LLC o angkop na internasyonal na entidad.
  • Pinangangasiwaan ng employer of record ang payroll, mga benepisyo, at pagsunod sa mga regulasyon.
  • Ganap na remote na trabaho.
  • Flexible na oras at kakayahang magtakda ng sariling iskedyul.
  • Lingguhang bayad sa pamamagitan ng Stripe o Wise.
  • Pagkakataong makatrabaho ang mga nangungunang mananaliksik.
  • Bayad sa referral na hanggang $1,760 para sa bawat matagumpay na referral.

Mga Kaugnay na Trabaho

Trane Technologies

Senior na Executive Assistant, Pamumunong Digital

Trane Technologies
B2BEnerhiyaPagmamanupaktura
USEstados UnidosMNMinnesotaNCHilagang Carolina
$61,300 – $109,655 / taon
HybridFull-timeSeniorLeadKinakailangang Wika: InglesEhekutibong katulong

Sinusuportahan ang pangkat ng pamumunong Digital ng Trane Technologies sa pamamagitan ng pag-uugnay ng mga iskedyul ng ehekutibo, biyahe, pulong, komunikasyon, at pagkuha ng mga produkto at serbisyo. Saklaw ng tungkulin ang mga pinuno sa buong Estados Unidos at nangangailangan ng pagtatrabaho sa opisina sa White Bear Lake, Minnesota, Lunes hanggang Huwebes.

Buksan
GlobeLife

Kinatawan para sa Pagpapanatili ng Kustomer na Remote

GlobeLife
1 – 10 Mga Empleyado
AghamEdukasyonPangangalagang pangkalusugan
USEstados UnidosRemoteFull-timeGitnang antasSeniorKinakailangang Wika: InglesEspesyalista sa pagpapanatili ng kostumerTagumpay ng kliyente

Tulungan ang mga may polisi ng Globe Life na mapanatili ang kanilang coverage at maibalik ang mga nag-expire na polisiya ng life insurance sa remote na trabahong ito. Tumanggap at tumawag sa mga kustomer, talakayin ang mga opsyon sa coverage at pagbabayad, itala ang mga resulta, at abutin ang mga target sa pagpapanatili.

Buksan
Our National Conversation (ONC)

Intern sa Pamumuno sa Editoryal, Remote (California)

Our National Conversation (ONC)
51 – 200 Mga Empleyado
B2CHindi pangkalakalMidya
USEstados UnidosCACaliforniaRemoteInternshipSeniorKinakailangang Wika: InglesPatnugot

Pangunahan ang mga manunulat, iskedyul ng paglalathala, at mga pamantayang editoryal bilang intern sa Our National Conversation. Suportahan ang misyon nitong bawasan ang pagkakampi-kampi at isulong ang mga solusyon sa pamamagitan ng midyang pinangungunahan ng kabataan.

Buksan
CB Talents Academy

Espesyalista sa Suporta sa Customer na Nagsasalita ng Dutch (Remote, Portugal)

CB Talents Academy
1 – 10 Mga Empleyado
Edukasyon
PTPortugal
€1,100 / buwan
RemoteFull-timeGitnang antasSeniorKinakailangang Wika: InglesKinakailangang Wika: DutchSuporta sa customer

Tumutulong sa mga user ng pandaigdigang online payment platform sa wikang Dutch, kabilang ang mga tanong tungkol sa pagbabayad, pangongolekta, tulong sa mga customer na nangangailangan, at pangangasiwa ng account habang remote mula sa Portugal.

Buksan
I

Senior na Tagapamahala ng Inhinyeriya ng Panganib

Imprint
201 – 500 Mga Empleyado
PagkonsultaPagmemerkadoPananalapi
USEstados UnidosCACaliforniaNYNew York
$220,000 – $235,000 / taon
HybridFull-timeSeniorKinakailangang Wika: InglesTagapamahala ng inhinyeriya
AWSDynamoDBGoKafkaKubernetesMga distributed systemMySQL

Pangungunahan ang mga backend team na responsable sa real-time na awtorisasyon ng pagbabayad, mga desisyon sa pandaraya, at underwriting sa Imprint, isang platform para sa naka-embed na pagbabayad at kredito.

Buksan
Martin & Company

Direktor ng Konsultasyon sa Insurance sa Ari-arian at Aksidente

Martin & Company
51 – 200 Mga Empleyado
LogisticsPagkonsultaSeguro
USEstados Unidos
$120,000 – $150,000 / taon
RemoteFull-timeLeadKinakailangang Wika: InglesDirektor

Pangunahan ang mga konsultasyon sa insurance sa ari-arian at aksidente na direktang nakikipag-ugnayan sa kliyente sa Martin & Company, isang kompanyang tagapayo sa insurance na pinapagana ng teknolohiya. Itakda ang saklaw ng proyekto, panatilihin ang kalidad ng paghahatid, palaguin ang mga account ng kliyente, at gabayan ang mga consultant.

Buksan