Full-time PhD researcher (m,f,x) on Artificial Intelligence and Formal Methods, for three yearsbei Ruhr-Universität Bochum

Mal ehrlich: Hast du eine Leidenschaft für Künstliche Intelligenz und möchtest in einem innovativen Umfeld arbeiten? Bei Ruhr-Universität Bochum erwartet dich eine spannende Position als PhD-Forscher im Bereich Künstliche Intelligenz und formale Methoden. Die Stadt Bochum bietet dir die perfekte Bühne für deine Forschungsambitionen. In einem dynamischen Team arbeitest du an der Verbesserung der Zuverlässigkeit von KI-Systemen und erforschst neue Ansätze in der formalen Verifikation. Deine Aufgaben umfassen die Durchführung von Forschungsprojekten, die enge Zusammenarbeit mit internationalen Partnern und die Unterstützung des Lehrprogramms. Du wirst Teil eines kreativen Umfelds, das dir die Freiheit gibt, deine Ideen zu verwirklichen.

• Gehalt: Bis zu 92.000€ pro Jahr – faire Bezahlung nach Vereinbarung
• Deine Aufgabe: Du führst Forschungsprojekte im Bereich Künstliche Intelligenz und formale Methoden durch und unterstützt das Lehrprogramm.
• Top-Benefit: Zugang zu einem Weiterbildungsbudget und 30 Tage Urlaub.

Das Arbeitsklima ist kollegial und fördert kreative Ideen. Du wirst Teil eines engagierten Teams, das an der Spitze der Forschung steht. Im Alltag erwarten dich abwechslungsreiche Projekte und die Möglichkeit, deine Fähigkeiten in einem internationalen Umfeld weiterzuentwickeln. Bewirb dich jetzt in 60 Sekunden – komplett per App!