
Lean 4-engineer voor formele wiskunde
MercorSchrijf en beoordeel Lean 4-bewijzen voor een AI-lab, formaliseer wiskunde en evalueer door AI gegenereerd bewijswerk.


Schrijf en beoordeel Lean 4-bewijzen voor een AI-lab, formaliseer wiskunde en evalueer door AI gegenereerd bewijswerk.

Schrijf en beoordeel Lean 4-bewijzen voor een AI-lab, formaliseer wiskunde en evalueer door AI gegenereerd bewijswerk.

Bepaal de technologiestrategie voor klantenservice van CommBank en geef leiding aan engineering voor contactcentra, kredietverlening en klantondersteuning. Bouw veerkrachtige, schaalbare platforms en AI-gestuurde ervaringen.

Leidinggeven aan onderzoek en ontwikkeling op het gebied van videocodering, -verwerking en streaming, met de nadruk op machine learning en AI. Meebouwen aan de platformarchitectuur, bijdragen aan industriestandaarden en het technische werk binnen Disney’s wereldwijde team verder brengen.

Bouw schaalbare React-interfaces voor Disney-advertentieplatforms en mediaproducten. Ontwikkel toegankelijke, goed geteste gebruikerservaringen binnen het hele bedrijf.

Beheer systeemoplevering, overdracht, CCMS, restpuntenlijsten en documentatie voor het Kidston-pompaccumulatieproject van John Holland. Het project maakt van een verlaten goudmijn een opslagvoorziening voor schone energie.

Leid onboarding, klantbehoud en accountgroei voor de healthtechklanten van Zymego. Help zorgorganisaties wachttijden terug te dringen met intelligente automatisering.

Beheer van Clarity PPM en ondersteuning op niveau 2, monitoring, toegangsbeheer, testen en implementaties. Ondersteuning van de bedrijfsapplicaties in India en de Filipijnen.

Je verzorgt Level 2-beheer en operationele ondersteuning voor Clarity PPM, waaronder monitoring, hulp bij toegang, testen en controletaken. Volledig op afstand, met ondersteuning volgens roosters voor India en de Filipijnen.

Je coördineert laboratoriumvoorraad, inkoop, verzending en klantenservice voor de wetenschappelijke klanten van Avantor. Daarnaast ondersteun je zendingen met gevaarlijke stoffen, rapportages en voorraadsystemen.