LogoFresh Jobs Ahead
Mercor
Mercor
51 – 200 Työntekijät
Mercorin saatavilla olevassa profiilissa ei ole riittävästi varmennettua tietoa sen tuotteista, palveluista, asiakkaista, toimialasta tai rekrytointipainotuksesta tarkan yritysesittelyn laatimiseksi. Yrityksen tai sen tarjoamien mahdollisuuksien kuvaamiseen tarvitaan lisää lähdemateriaalia.
LinkedIn
Yrityksen työpaikat

Lean 4 -muodollisen matematiikan insinööri

Kirjoita ja arvioi Lean 4 -todistuksia tekoälylaboratoriolle sekä muodollista matematiikkaa ja arvioi tekoälyn tuottamaa todistustyötä.

USYhdysvallat
90 $ – 110 $ / tunti
EtätyöOsa-aikainenKeskitasoSeniorVaadittu Kieli: englantiInsinööri
Haskell

Kuvaus

  • Kirjoita idiomaattisia Lean 4 -väittämiä ja todistuksia, jotka kääntyvät nykyisellä mathlibillä.
  • Formaloi luonnolliskielisistä lähteistä tulevaa matematiikkaa, kuten kilpailutehtäviä, oppikirjojen tuloksia ja tutkimuslemmoja.
  • Arvioi tekoälyjärjestelmien tuottamia väittämiä ja todistuksia.
  • Etsi epäonnistuneita todistuksia tai todistuksia, jotka osoittavat virheellisen tuloksen, ja anna niistä selkeää kirjallista palautetta.
  • Auta laatimaan standardeja ja arviointikriteerejä todistusten laadulle, väittämien vastaavuudelle ja mathlib-käytännöille.
  • Tee yhteistyötä Lean-insinöörien ja laboratorion tutkijoiden kanssa yhdenmukaisten standardien ylläpitämiseksi.
  • Osallistu projekteihin, joissa koulutetaan ja kehitetään tekoälyjärjestelmiä.

Vaatimukset

  • Käytännön kokemusta muodollisten todistusten kirjoittamisesta Lean 4:llä.
  • Lean 4:n ja mathlibin tuntemusta sekä Lean 4 -taktiikoiden hallintaa, mukaan lukien sopivien lemmojen etsiminen ja soveltaminen.
  • Vahva todistuspohjaisen matematiikan, teoreettisen tietojenkäsittelytieteen tai logiikan perusta, joka ilmenee tutkinnosta tai tutkimusnäytöistä.
  • Kyky muuntaa kirjalliset matemaattiset väittämät ja todistukset oikeiksi muodollisiksi väittämiksi ja tarkistetuiksi todistuksiksi.
  • Mahdollisuus työskennellä vähintään 20 tuntia viikossa arkipäivisin.
  • Hyvät kirjalliset viestintätaidot, mukaan lukien kyky selittää todistusstrategiat ja formalisoimiseen liittyvät ratkaisut täsmällisesti.
  • Edoksi luetaan kokemus Coqista/Rocqista, Isabellesta, Agdasta, Haskellista, Lean-metaprogrammoinnista tai matematiikan tekoälysovelluksista.
  • H1-B- ja STEM OPT -hakijoita ei voida tällä hetkellä tukea.

Edut

  • Työsuhde W-2-mallilla Cincinnatus LLC:n tai soveltuvan kansainvälisen yksikön kautta.
  • Työnantaja hoitaa palkanmaksun, edut ja vaatimustenmukaisuuden työnantajapalveluntarjoajana.
  • Täysin etätyö.
  • Joustavat työajat ja mahdollisuus suunnitella oma aikataulu.
  • Viikoittaiset maksut Stripen tai Wisen kautta.
  • Mahdollisuus työskennellä johtavien tutkijoiden kanssa.
  • Suosittelupalkkiot, enintään 1 760 dollaria onnistunutta suosittelua kohden.

Samankaltaiset työpaikat

Daimler Truck North America

UX-suunnittelijan harjoittelija — Daimler Truck North America

Daimler Truck North America
H1B-viisumin sponsoriAutoteollisuusLiikenneLogistiikka
USYhdysvallatOROregon
21 $ – 29 $ / tunti
HybridityöHarjoitteluAloittelijatasoVaadittu Kieli: englantiTuotesuunnittelija

Suunnittele ja validoi digitaalisia ajoneuvokäyttöliittymiä Daimler Truck North Americalla sekä kehitä prototyyppejä ja suunnittelujärjestelmiä kansainvälisten suunnittelu-, tekniikka- ja tuotetiimien kanssa. Hybridityöharjoittelu sijaitsee Portlandissa, Oregonissa.

Avaa
DualEntry

Brändisuunnittelija — DualEntry, New York

DualEntry
51 – 200 Työntekijät
SaaSTekoälyYritys
USYhdysvallatNYNew York
160 000 $ – 190 000 $ / vuosi
LähityöKokoaikainenKeskitasoSeniorVaadittu Kieli: englantiBrändisuunnittelija

Muotoile DualEntryn tekoälylähtöistä ERP-brändiä digitaalisissa kanavissa, kampanjoissa, painotuotteissa ja tapahtumissa. Rakenna mukautuvia visuaalisia kokonaisuuksia talousjohtajille, taloustiimeille ja liiketoiminnan operatiivisille toimijoille.

Avaa
3M

3M:n brändimuotoilun harjoittelija, Safety & Industrial -liiketoimintaryhmä

3M
H1B-viisumin sponsoriAutoteollisuusTerveydenhuoltoValmistus
USYhdysvallatMNMinnesotaTXTexasLähityöHarjoitteluAloittelijatasoVaadittu Kieli: englantiBrändisuunnittelija

Tule brändimuotoilun harjoittelijaksi 3M:n Safety & Industrial -liiketoimintaryhmään ja luo visuaalisia aineistoja markkinointiin, pakkauksiin, digitaalisiin kanaviin ja myynnin tueksi. Auta tuottamaan selkeää, brändin mukaista viestintää asiakkaille suunnatuissa hankkeissa.

Avaa
Talking Rain Beverage Co®, makers of Sparkling Ice

Freelance-pakkaussuunnittelija, tekoälyavusteiset konseptit

Talking Rain Beverage Co®, makers of Sparkling Ice
201 – 500 Työntekijät
KonsultointiLogistiikkaMarkkinointi
USYhdysvallatEtätyöOsa-aikainenKeskitasoSeniorVaadittu Kieli: englantiTekoäly

Suunnittele Talking Rainin juomabrändeille tekoälyavusteisia etiketti- ja pakkauskonsepteja nopeista mallikuvista konseptitauluihin. Valmistele työt asiakkaan arvioitaviksi ja luovutettaviksi sisäiselle suunnittelutiimille tai tuotannosta vastaavalle toimistolle.

Avaa
Natera

Onkologian kliininen arviointihoitaja, tekoäly

Natera
1 001 – 5 000 Työntekijät
H1B-viisumin sponsoriBioteknologiaSairausvakuutusTerveydenhuolto
USYhdysvallat
82 400 $ – 110 000 $ / vuosi
EtätyöKokoaikainenKeskitasoSeniorVaadittu Kieli: englantiTekoäly

Arvioit vaativia onkologisia tapauksia ja tekoälyn tuottamia luokituksia, kliinisiä kirjauksia sekä maksajien korvauskriteerejä. Teet yhteistyötä tuote- ja teknisten tiimien kanssa tekoälyavusteisten työnkulkujen arvioimiseksi ja kehittämiseksi.

Avaa
F

Opetuksen johtaja – tekoäly ja tulevaisuuden taidot

Franklin Institute of Applied Sciences / Pioneer People GmbH
11 – 50 Työntekijät
B2BKoulutus
DESaksa
80 000 € – 90 000 € / vuosi
EtätyöKokoaikainenJohtavaVaadittu Kieli: saksaVaadittu Kieli: englantiTekoäly

Johda etäopetuksen toimintaa eri puolilla Saksaa, ohjaa tiimejä ja määritä laatua, opetussuunnitelmien suunnittelua ja skaalautuvia oppimisohjelmia koskevat standardit. Kehitä tekoälypainotteista koulutusta ja paranna prosesseja osallistujapalautteen, tulostietojen ja uusien teknologiamahdollisuuksien avulla.

Avaa