Pure Mathematics Specialist – Freelance AI Trainer Projekt

Stelle nicht auf LinkedIn

🕒 vor 2 Monaten

Jetzt Bewerben

Ähnliche Remote-Jobs finden

E-Mails für Remote-Jobs erhalten

📊 Überprüfen Sie Ihre Lebenslauf-Bewertung für diese Stelle

Verbessern Sie Ihre Chancen auf ein Vorstellungsgespräch, indem Sie Ihre Lebenslauf-Bewertung vor der Bewerbung überprüfen.

Lebenslauf hochladen

Invisible Technologies

WebsiteLinkedInAlle Stellen

201 - 500 Mitarbeiter

Gegründet 2015

🤖 Künstliche Intelligenz

☁️ SaaS

🏢 Unternehmen

🔥 Finanzierung im letzten Jahr

💰 €100.000.000 Series unknown im 2025-10

Artificial Intelligence • SaaS • Enterprise

Invisible Technologies ist ein Unternehmen für KI-Plattformen und -Dienstleistungen auf Unternehmensebene, das produktionsreife KI-Systeme für große Organisationen entwickelt und implementiert. Sie kombinieren eine modulare SaaS-Plattform (Datenplattform, Prozessentwickler, Agenten, Bewertungen) mit einem Expertenmarktplatz, um Modelle zu trainieren, komplexe Backoffice-Workflows zu automatisieren, Kontaktzentren zu betreiben, Lösungen für Computer Vision und Bedarfsprognosen bereitzustellen und kontinuierliche Bewertung und Governance sicherzustellen. Invisible arbeitet sektorübergreifend (Finanzen, Gesundheitswesen, öffentlicher Sektor, Sport, Einzelhandel), um KI in reale Betriebssysteme zu integrieren und Ergebnisse in großem Umfang zu erzielen.

Beschreibung

• Konstruktion und Bewertung komplexer Beweise • Begründung der mathematischen Argumentation hinsichtlich Korrektheit und Strenge sowie Erkennung subtiler konzeptioneller oder logischer Fehler • Übersetzung von Material zur erfolgreichen Erstellung in Lean‑4‑Syntax • Zusammenarbeit mit unserem Team zur Verfeinerung von Prompts, Evaluations‑Frameworks und Benchmarks für mathematisches Denken

🎯 Anforderungen

• Spezialist mit fundierter Ausbildung in reiner Mathematik • Beschäftigung mit fortgeschrittenen Themen aus Wahrscheinlichkeitstheorie, Maßtheorie, Real‑ und Funktionalanalysis, Optimierung, abstrakter Algebra und Kategorientheorie • Sicherer Umgang mit Lean 4 • Laufende oder kürzlich abgeschlossene Promotion (PhD) bzw. aktuelle Postdoc‑Erfahrung in reiner Mathematik • Fundierte Kenntnisse in den Kernbereichen • Vertrautheit mit Themen wie Markovs und Tschebyscheff‑Ungleichungen, Hoeffding‑Schranken, Konvergenzsätzen, dem Carathéodory‑Erweiterungssatz, dem Riesz‑Darstellungssatz, dem Banach‑Alaoglu‑Satz, dem Lax‑Milgram‑Lemma, stochastischer Approximation, dem Satz von van Kampen, der Yoneda‑Einbettung und Repräsentierbarkeit in der Kohomologie • Klare, metakognitive Kommunikation (explizites Darlegen von Argumentations‑ und Beweisstrategien) ist unerlässlich.

🏖️ Vorteile

• Unternehmensfinanzierte Leistungen wie Krankenversicherung und bezahlter Urlaub (PTO) finden keine Anwendung.