Coördinator digitale marketing
Amer Sports
Coördineer de digitale marketing van Arc’teryx in Australië en Nieuw-Zeeland en ondersteun het outdoor kledingbedrijf. Beheer CRM, e-commerce, betaalde media, e-mail en andere digitale campagnes.
Openen
51 – 200 Medewerkers
Het beschikbare profiel van Mercor bevat onvoldoende geverifieerde informatie over zijn producten, diensten, klanten, sector of focus op werving om een nauwkeurig bedrijfsoverzicht te kunnen geven. Er is meer bronmateriaal nodig voordat het bedrijf of zijn mogelijkheden kan worden beschreven.
Ingenieur formele wiskunde met Lean 4
Schrijf en beoordeel Lean 4-bewijzen voor een AI-lab, formaliseer wiskunde en evalueer door AI gegenereerd bewijswerk.
Beschrijving
- Schrijf idiomatische Lean 4-beweringen en bewijzen die compileren met de huidige versie van mathlib.
- Formaliseer wiskunde uit teksten in natuurlijke taal, waaronder wedstrijdopgaven, resultaten uit leerboeken en onderzoekslemma's.
- Beoordeel beweringen en bewijzen die door AI-systemen zijn gegenereerd.
- Spoor mislukte bewijzen op, evenals bewijzen die een onjuist resultaat aantonen, en geef daarover heldere schriftelijke feedback.
- Help standaarden en beoordelingsrubrieken op te stellen voor de kwaliteit van bewijzen, de getrouwheid van beweringen en de conventies van mathlib.
- Werk samen met Lean-engineers en onderzoekers van het lab om consistente standaarden te waarborgen.
- Draag bij aan projecten die AI-systemen trainen en verbeteren.
Vereisten
- Praktische ervaring met het schrijven van formele bewijzen in Lean 4.
- Bekendheid met mathlib en Lean 4-tactieken, waaronder het vinden en toepassen van geschikte lemma's.
- Een sterke basis in bewijsgerichte wiskunde, theoretische informatica of logica, aangetoond met een diploma of onderzoekservaring.
- Vermogen om schriftelijke wiskundige beweringen en bewijzen om te zetten in correcte formele beweringen en geverifieerde bewijzen.
- Beschikbaarheid om op werkdagen minstens 20 uur per week te werken.
- Sterke schriftelijke communicatievaardigheden, waaronder het vermogen om bewijsstrategieën en keuzes bij formalisering nauwkeurig uit te leggen.
- Pré: ervaring met Coq/Rocq, Isabelle, Agda, Haskell, Lean-metaprogrammering of AI voor wiskunde.
- Ondersteuning van kandidaten met een H-1B- of STEM-OPT-status is momenteel niet mogelijk.
Voordelen
- W-2-dienstverband via Cincinnatus LLC of een geschikte internationale entiteit.
- De formele werkgever verzorgt de salarisadministratie, arbeidsvoorwaarden en naleving van regelgeving.
- Volledig op afstand werken.
- Flexibele werktijden en de mogelijkheid om je eigen schema te bepalen.
- Wekelijkse betalingen via Stripe of Wise.
- De kans om samen te werken met vooraanstaande onderzoekers.
- Vergoedingen tot $ 1.760 voor elke succesvolle doorverwijzing.
Gerelateerde vacatures
Business Assurance-partner, tijdelijk contract van 9 maanden – Wellington, hybride
New Zealand Trade and Enterprise
Leid interne audits en risicoadvies bij New Zealand Trade and Enterprise en help veilige bedrijfsvoering en internationale groei mogelijk te maken. Adviseer senior leidinggevenden en versterk het risicovolwassenheidsniveau van de organisatie.
Openen
Partner Business Manager, HPE Compute – Overheidssector in het oosten van de VS
Hewlett Packard Enterprise
Verenigde Staten
Maryland
New Jersey
New York
Pennsylvania
Virginia$ 67.800 – $ 155.700 / jaar
Op afstandVoltijdMediorSeniorVereiste Taal: EngelsManagerLaat de HPE Compute-activiteiten groeien via partners in de publieke sector in het oosten van de VS. De functie omvat gezamenlijke verkoopplanning, pipelineontwikkeling, co-selling en partnerondersteuning.
Openen
Partner Business Manager, HPE Compute – oostelijke Verenigde Staten
Hewlett Packard EnterpriseVerenigde StatenMarylandNew JerseyNew YorkPennsylvaniaVirginia$ 67.800 – $ 155.700 / jaar
Op afstandVoltijdMediorSeniorVereiste Taal: EngelsManagerLaat de verkoop van HPE Compute groeien via partners in de publieke sector in het oosten van de Verenigde Staten. Stel gezamenlijke plannen op, versterk de vaardigheden van partners, vergroot de verkooppijplijn en breng deals verder met HPE-teams.
Openen
International Business Development Manager medische beeldvorming
Hunt St
Filipijnen$ 2.000 / maand
Op afstandVoltijdMediorSeniorVereiste Taal: EngelsVertegenwoordiger bedrijfsontwikkelingVergroot de exportverkoop van een Australische fabrikant van medische beeldvorming door distributeursnetwerken op te bouwen en B2B-zaken te winnen in MENA, ASEAN en opkomende markten.
Openen
Key Accountmanager op afstand – Verenigde Staten
Inizio EngageStimuleer de toepassing van biosimilars in de tweedelijnszorg van de NHS met accountplanning en contact met gespecialiseerde stakeholders. Bouw relaties op en beïnvloed voorschrijfbeslissingen binnen verschillende therapeutische gebieden.
Openen
Key Accountmanager Verlichtingsprojecten – Tokio
Signify
Beheer strategische klantrelaties en complexe verlichtingsprojecten voor Signify in Japan. Stimuleer omzetgroei, aanbestedingen, klantpartnerschappen en duurzame verlichtingsoplossingen.
Openen
Assistent-manager klantdiensten op locatie in China
Nomura
Ondersteun vermogende klanten met accountbeheer, transacties en relatiebeheer. Bied privatebankingdiensten aan op internationale markten bij Nomura.
Openen
Remote specialist risicomanagement – Australië
Centorrino TechnologiesImplementeer een risicomanagementsysteem voor gereguleerde Australische organisaties en vertaal governancebehoeften naar configuratie, tests, rapportages en ingebruikname. Werk tijdens het hele implementatietraject samen met stakeholders aan risicodata, beheersmaatregelen en rapportages voor het management.
Openen
Junior risicoanalist
Koin
Beoordeel kredietaanvragen en onderzoek verdachte transacties en fraude bij Koin. Pas risicobeleid toe, controleer klantgegevens en help operationele processen te automatiseren.
Openen