
Ingenieur für formale Mathematik mit Lean 4
MercorVerfassen und prüfen Sie Lean-4-Beweise für ein KI-Labor, formalisieren Sie Mathematik und beurteilen Sie KI-generierte Beweisführungen.


Verfassen und prüfen Sie Lean-4-Beweise für ein KI-Labor, formalisieren Sie Mathematik und beurteilen Sie KI-generierte Beweisführungen.

Legen Sie die Customer-Service-Technologiestrategie der CommBank fest und führen Sie das Engineering für Contact Center, Kreditvergabe und Kundenbetreuung. Entwickeln Sie resiliente, skalierbare Plattformen und KI-gestützte Erlebnisse.

Leitung von Forschung und Entwicklung in den Bereichen Videocodierung, -verarbeitung und Streaming mit Schwerpunkt auf maschinellem Lernen und KI. Mitgestaltung der Plattformarchitektur, Mitarbeit an Branchenstandards und Weiterentwicklung technischer Arbeit im globalen Disney-Team.

Entwickle skalierbare React-Oberflächen für Disney-Werbeplattformen und Medienprodukte. Gestalte barrierefreie, gut getestete Nutzererlebnisse im gesamten Unternehmen.

Verantworten Sie Systemfertigstellung, Übergabe, CCMS, Mängellisten und Dokumentation für John Hollands Pumpspeicherprojekt Kidston. Das Projekt verwandelt eine stillgelegte Goldmine in einen Speicher für saubere Energie.

Verantworten Sie Onboarding, Kundenbindung und Kontowachstum für Zymegos Healthtech-Kunden. Unterstützen Sie Gesundheitsorganisationen dabei, Wartezeiten durch intelligente Automatisierung zu verkürzen.

Verwaltung von Clarity PPM sowie Support der Stufe 2, Überwachung, Zugriffsverwaltung, Tests und Bereitstellungen. Unterstützung des Betriebs von Unternehmensanwendungen in Indien und auf den Philippinen.

Sie leisten Level-2-Administration und operativen Support für Clarity PPM, einschließlich Überwachung, Zugriffsunterstützung, Tests und Kontrollaufgaben. Vollständig remote, mit Supportzeiten für Indien und die Philippinen.

Koordination von Laborbeständen, Einkauf, Versand und Kundenservice für wissenschaftliche Kund:innen von Avantor. Außerdem Unterstützung bei Gefahrguttransporten, Berichten und Bestandssystemen.

Untersuchen und regulieren Sie Wohngebäude-, Eigentumswohnungs- und Gewerbeimmobilienschäden für Intact-Kund:innen in ganz Kanada. Unterstützen Sie Kund:innen einfühlsam per Telefon und über digitale Kanäle.