Elektromechanický konštruktér pre výskum a vývoj
ABB
Vyvíjajte nízkonapäťové elektrické komponenty, ističe, spínače a príslušenstvo v spoločnosti ABB. Pri návrhu produktov využívajte CAD a štrukturálne a tepelné simulácie.
Otvoriť
51 – 200 Zamestnanci
Dostupný profil spoločnosti Mercor neobsahuje dostatok overených informácií o jej produktoch, službách, zákazníkoch, odvetví ani náborovom zameraní, aby bolo možné vytvoriť presný prehľad o spoločnosti. Pred opísaním podnikania alebo pracovných príležitostí sú potrebné ďalšie zdrojové materiály.
Inžinier Lean 4 pre formálnu matematiku
Píšte a kontrolujte dôkazy v Lean 4 pre laboratórium umelej inteligencie. Formalizujte matematiku a posudzujte prácu AI pri dokazovaní teorém.
Popis
- Vytvárajte správne a idiomatické tvrdenia a dôkazy v Lean 4, ktoré sa kompilujú s aktuálnou knižnicou mathlib
- Formalizujte matematiku z textových zdrojov, od súťažných úloh a učebníc až po výskumné lemy
- Posudzujte tvrdenia a dôkazy v Lean vytvorené umelou inteligenciou, odhaľujte chyby a poskytujte konkrétnu písomnú spätnú väzbu
- Vypracúvajte pokyny a hodnotiace kritériá pre kvalitu dôkazov, vernosť tvrdení a konvencie knižnice mathlib
- Spolupracujte s inžiniermi Lean a výskumníkmi na udržiavaní jednotných štandardov a zvyšovaní kvality
- Prispievajte k projektom zameraným na trénovanie a zlepšovanie systémov umelej inteligencie
Požiadavky
- Praktické skúsenosti s písaním formálnych dôkazov v Lean 4
- Znalosť knižnice mathlib a taktík v Lean 4 vrátane vyhľadávania a používania vhodných lemm
- Dobré základy matematiky založenej na dôkazoch, teoretickej informatiky alebo logiky, doložené vzdelaním alebo výskumnou praxou
- Schopnosť prevádzať písomné matematické tvrdenia a dôkazy na správne formálne tvrdenia a overené dôkazy
- Možnosť pracovať aspoň 20 hodín počas každého pracovného týždňa a spoľahlivo sa zapájať
- Jasná písomná komunikácia a schopnosť presne vysvetľovať stratégie dokazovania a rozhodnutia pri formalizácii
- Výhodou sú skúsenosti s Coq/Rocq, Isabelle, Agda, Haskell, metaprogramovaním v Lean alebo využitím umelej inteligencie v matematike
- V súčasnosti nesmiete potrebovať sponzorstvo ani podporu pri získaní víza H-1B alebo STEM OPT
Benefity
- Pracovný pomer W-2, pričom mzdy, benefity a dodržiavanie predpisov zabezpečuje spoločnosť Cincinnatus LLC alebo príslušný medzinárodný subjekt
- Práca na diaľku v plnom rozsahu
- Flexibilný pracovný čas; prácu si rozvrhujete sami
- Týždenné platby za odvedenú prácu prostredníctvom Stripe alebo Wise
- Možnosť spolupracovať s poprednými výskumníkmi
- Odmeny za odporúčanie až do výšky 1 760 USD za každé úspešné odporúčanie, s určitými obmedzeniami
Súvisiace pracovné ponuky
Vedúci značky a kreatívy
AtomicVeďte obnovu značky Golden Child naprieč identitou, obalmi, kampaňami, obsahom a zákazníckou skúsenosťou. Vybudujte kreatívny tím a výrobné procesy pre vedecky podloženú výživu psov.
Otvoriť
Dizajnér značky — DualEntry, New York
DualEntry
Spojené štáty
New York160 000 $ – 190 000 $ / rok
Na pracoviskuPlný úväzokStredná úroveňSeniorPožadovaný Jazyk: angličtinaDizajnér značkyFormujte značku ERP systému DualEntry postaveného na umelej inteligencii v digitálnych, kampaňových, tlačených a eventových zážitkoch. Vytvárajte flexibilné vizuálne systémy pre finančných riaditeľov, finančné tímy a prevádzkových manažérov.
Otvoriť
Dizajnér značiek privátnych značiek
Grupo CVLB5 001 – 10 000 Zamestnanci
Tvorba vizuálnych identít, obalov a produktových kolekcií pre privátne značky Grupo CVLB. Vedenie brandingových projektov a koordinácia dodávateľov a kontrol produktov.
Otvoriť
Stážista/stážistka dizajnu značky 3M, divízia bezpečnosti a priemyslu
3MSpojené štáty
Minnesota
TexasNa pracoviskuStážVstupná úroveňPožadovaný Jazyk: angličtinaDizajnér značkyPridajte sa k divízii bezpečnosti a priemyslu spoločnosti 3M ako stážista či stážistka dizajnu značky a vytvárajte vizuálne materiály pre marketing, obaly, digitálne kanály a predaj. Pomôžte zabezpečiť zrozumiteľnú komunikáciu v súlade so značkou naprieč projektmi orientovanými na zákazníkov.
Otvoriť
Nezávislý dizajnér obalov – koncepty s podporou AI
Talking Rain Beverage Co®, makers of Sparkling IceSpojené štátyNa diaľkuČiastočný úväzokStredná úroveňSeniorPožadovaný Jazyk: angličtinaUmelá inteligenciaTvorba konceptov etikiet a obalov s podporou AI pre nápojové značky Talking Rain, od rýchlych makiet po prezentačné tabule. Príprava podkladov na posúdenie klientom a odovzdanie internému dizajnérskemu tímu alebo agentúre na výrobu.
Otvoriť
Klinická sestra RN pre onkologické posudzovanie AI
NateraSpojené štáty82 400 $ – 110 000 $ / rok
Na diaľkuPlný úväzokStredná úroveňSeniorPožadovaný Jazyk: angličtinaUmelá inteligenciaPosudzujte zložité onkologické prípady a vyhodnocujte klasifikácie vytvorené AI, klinickú dokumentáciu a kritériá úhrady poisťovateľov. Spolupracujte s produktovými a technickými tímami na overovaní a zlepšovaní pracovných postupov podporovaných AI.
Otvoriť
F
Vedúci vzdelávania – AI a zručnosti budúcnosti
Franklin Institute of Applied Sciences / Pioneer People GmbH
Nemecko80 000 € – 90 000 € / rok
Na diaľkuPlný úväzokVedúciPožadovaný Jazyk: nemčinaPožadovaný Jazyk: angličtinaUmelá inteligenciaVeďte online vzdelávacie programy v Nemecku, usmerňujte tímy a nastavujte štandardy kvality, tvorby učebných osnov a škálovateľného vzdelávania. Rozvíjajte vzdelávanie zamerané na AI a zlepšujte procesy na základe spätnej väzby účastníkov, údajov o výkonnosti a nových technologických možností.
Otvoriť
Manažér technického marketingu podnikovej AI
SupermicroSpojené štáty
Kalifornia145 000 $ – 169 000 $ / rok
Na pracoviskuPlný úväzokSeniorVedúciPožadovaný Jazyk: angličtinaUmelá inteligenciaPretavte AI infraštruktúru Supermicro založenú na technológiách NVIDIA do jasnej komunikácie pre podniky, obsahu pri uvedení produktov a predajných materiálov. Veďte spoločné programy vstupu na trh so spoločnosťou NVIDIA.
Otvoriť
Hlavný poradca pre stratégiu umelej inteligencie v podniku
Capital GroupSpojené štátyKaliforniaNew York208 245 $ – 390 361 $ / rok
Na pracoviskuPlný úväzokVedúciPožadovaný Jazyk: angličtinaUmelá inteligenciaBude viesť stratégiu transformácie Capital Group pomocou umelej inteligencie a radiť vedúcim pracovníkom pri identifikácii príležitostí s vysokou hodnotou. Pripraví obchodné zdôvodnenia, scenáre a plány investícií pre správu investícií a súvisiace oblasti.
Otvoriť