LogoFresh Jobs Ahead
Mercor
Mercor
51 – 200 Wafanyakazi
Wasifu wa Mercor unaopatikana hauna taarifa za kutosha zilizothibitishwa kuhusu bidhaa, huduma, wateja, sekta au mwelekeo wake wa kuajiri ili kuwezesha maelezo sahihi ya kampuni. Nyenzo za ziada za chanzo zinahitajika kabla ya kueleza biashara au fursa zake.
LinkedIn
Kazi za Kampuni

Mhandisi wa Lean 4, Hisabati Rasmi

Andika na kagua uthibitisho wa Lean 4 kwa maabara ya AI, rasimisha hisabati, na tathmini kazi ya kuthibitisha nadharia iliyozalishwa na AI.

USMarekani
$ 90 – $ 110 / saa
MbaliMuda wa sehemuKiwango cha katiMwandamiziLugha Inayohitajika: KiingerezaMhandisi
Haskell

Maelezo

  • Unda kauli na uthibitisho sahihi wa Lean 4 unaofuata mtindo wa kawaida na unaoweza kukompiliwa kwa mathlib ya sasa
  • Rasimisha hisabati kutoka vyanzo vya lugha ya kawaida, kuanzia maswali ya mashindano na vitabu vya kiada hadi lema za utafiti
  • Tathmini kauli na uthibitisho wa Lean uliozalishwa na AI, tambua makosa, na utoe maoni mahususi kwa maandishi
  • Tengeneza miongozo na vigezo vya kutathmini ubora wa uthibitisho, uaminifu wa kauli, na kanuni za mathlib
  • Fanya kazi na wahandisi wa Lean na watafiti ili kudumisha viwango thabiti na kuboresha ubora
  • Changia katika miradi inayofunza na kuboresha mifumo ya AI

Mahitaji

  • Uzoefu wa vitendo wa kuandika uthibitisho rasmi katika Lean 4
  • Ujuzi wa mathlib na mbinu za Lean 4, ikiwemo kutafuta na kutumia lema zinazofaa
  • Msingi imara katika hisabati inayotegemea uthibitisho, sayansi ya kompyuta ya kinadharia, au mantiki, unaoonyeshwa na shahada au rekodi ya utafiti
  • Uwezo wa kubadilisha kauli na uthibitisho wa hisabati ulioandikwa kuwa kauli rasmi sahihi na uthibitisho uliothibitishwa
  • Upatikanaji wa kufanya kazi angalau saa 20 kila wiki ya kazi, pamoja na ushiriki wa kutegemewa
  • Mawasiliano mazuri ya maandishi na uwezo wa kueleza mikakati ya uthibitisho na maamuzi ya urasimishaji kwa usahihi
  • Inapendelewa: uzoefu wa Coq/Rocq, Isabelle, Agda, Haskell, metaprogramming ya Lean, au kazi ya AI kwa hisabati
  • Hupaswi kuhitaji kwa sasa udhamini au usaidizi wa H-1B au STEM OPT

Manufaa

  • Ajira ya W-2 yenye malipo, mafao na uzingatiaji wa kanuni zinazosimamiwa kupitia Cincinnatus LLC au taasisi inayofaa ya kimataifa
  • Kazi ya mbali kikamilifu
  • Saa zinazoweza kubadilika, huku kazi ikikamilishwa kwa ratiba yako mwenyewe
  • Malipo ya kila wiki kupitia Stripe au Wise kwa huduma zilizotolewa
  • Fursa ya kushirikiana na watafiti mashuhuri
  • Malipo ya rufaa ya hadi $1,760 kwa kila rufaa iliyofanikiwa, kwa kuzingatia vikwazo

Kazi Zinazohusiana

Chemin AI

Mkaguzi wa Tafsiri za Mandarin na Kikorea

Chemin AI
1 – 10 Wafanyakazi
Akili bandiaHuduma za afyaUsafirishaji
HKHong Kong SAR ChinaIDIndonesiaMYMalesiaPHUfilipinoTWTaiwan
$ 0 / saa
MbaliMuda wa sehemuKiwango cha katiMwandamiziLugha Inayohitajika: KiingerezaLugha Inayohitajika: KikoreaLugha Inayohitajika: KichinaMtafsiri

Unakagua maudhui ya biashara ya mtandaoni kwa Kikorea na tafsiri zake za Kichina cha Jadi kwa Kaya by Chemin, ukihakiki usahihi, ufasaha na ulinganifu wa maana kwa kufuata mwongozo wa ubora.

Fungua
Delegate CX

Mtaalamu wa Uhasibu wa Kazi ya Mbali – Huduma za Ukarimu

Delegate CX
11 – 50 Wafanyakazi
BiasharaUajiriUshauri
PHUfilipino
₱ 35,000 – ₱ 37,500 / mwezi
MbaliMuda woteKiwango cha katiMwandamiziLugha Inayohitajika: KiingerezaMeneja wa uhasibu

Simamia akaunti za kulipa na kupokea, utozaji, ukusanyaji wa malipo na rekodi za kifedha kwa wateja wa huduma za ukarimu nchini Marekani. Kazi hii ya muda wote kutoka nyumbani nchini Ufilipino hutumia QuickBooks, Excel na mifumo mingine ya uhasibu.

Fungua
Hewlett Packard Enterprise

Mbunifu Mkuu wa Kiufundi wa Uuzaji wa Awali kwa Washirika wa Chaneli, Kanada

Hewlett Packard Enterprise
Mfadhili wa visa ya H1BAkili bandiaBiasharaMaunzi
CAKanada
$ 139,000 – $ 257,000 / mwaka
MbaliMuda woteKiwango cha katiMwandamiziLugha Inayohitajika: KiingerezaMhandisi wa mauzo ya awali
AWSAzureMS SQL ServerOracleSQLVMwareWingu

Waongoze washirika wa chaneli kubuni na kuuza suluhisho za HPE za uhifadhi na ulinzi wa data. Jenga uungwaji mkono wa kiufundi, panua fursa za mauzo na usaidie shughuli za wateja.

Fungua
Hewlett Packard Enterprise

Mbunifu Mkuu wa Kiufundi wa Mauzo ya Awali kwa Washirika wa Chaneli, Hifadhi — HPE Kanada Kazi ya Mbali

Hewlett Packard Enterprise
Mfadhili wa visa ya H1BAkili bandiaBiasharaMaunzi
CAKanada
$ 139,000 – $ 223,000 / mwaka
MbaliMuda woteKiwango cha katiMwandamiziLugha Inayohitajika: KiingerezaMhandisi wa mauzo ya awali
AWSAzureMS SQL ServerOracleSQLVMwareWingu

Saidia washirika wa chaneli wa HPE kuweka sokoni, kubuni na kuuza suluhisho za hifadhi na ulinzi wa data. Saidia usanifu wa suluhisho, maonyesho, uthibitishaji wa dhana, ukuzaji wa fursa za mauzo na utetezi wa kiufundi wa washirika.

Fungua
Hewlett Packard Enterprise

Mbunifu wa Kiufundi wa Mauzo ya Awali kwa Washirika wa Channel, Kanada

Hewlett Packard Enterprise
Mfadhili wa visa ya H1BAkili bandiaBiasharaMaunzi
CAKanada
$ 111,200 – $ 178,400 / mwaka
MbaliMuda woteKiwango cha katiMwandamiziLugha Inayohitajika: KiingerezaMhandisi wa mauzo ya awali
AWSAzureMS SQL ServerOracleSQLVMwareWingu

Waongoze washirika wa channel wa HPE katika kuweka nafasi, kubuni na kutoa suluhisho za hifadhi na ulinzi wa data. Jenga uwezo wa kiufundi wa washirika, panua faneli ya mauzo na usaidie kupata ushindi dhidi ya washindani.

Fungua
Hewlett Packard Enterprise

Mhandisi Mwandamizi wa Uendeshaji wa Mtandao wa Wingu (Kibali cha Siri)

Hewlett Packard Enterprise
Mfadhili wa visa ya H1BAkili bandiaBiasharaMaunzi
USMarekaniOKOklahomaPAPennsylvaniaUTUtah
$ 109,000 – $ 251,000 / mwaka
MsetoMuda woteMwandamiziKiongoziLugha Inayohitajika: KiingerezaMhandisi wa DevOps
AnsibleAWSDNSLinuxNgome za mtandaoPythonServiceNowTCP/IPTerraformUbadilishajiUnixUsalama wa MtandaoVMwareWingu

Simamia mtandao salama wa wingu binafsi na vituo vya data vya HPE vinavyowahudumia wateja wa serikali ya shirikisho. Tatua miundombinu iliyoainishwa na VMware NSX huko Oklahoma, Pennsylvania na Utah.

Fungua