Auf einen Blick
- Aufgaben: Entwickeln und Ausführen eines internationalen Forschungsprogramms in der rechnergestützten Logik.
- Unternehmen: Die Universität Ulm ist eine junge Forschungsuniversität mit über 10.000 Studierenden.
- Vorteile: Dynamisches Arbeitsumfeld und interdisziplinäre Zusammenarbeit werden geboten.
- Weitere Informationen: Bewerbungsschluss: 30.06.2026.
- Warum dieser Job: Möglichkeit zur Vorbereitung auf eine tenured W3-Professur.
- Qualifikationen: Abgeschlossenes Studium mit Doktortitel und internationale Forschungserfahrung in rechnergestützter Logik.
Das prognostizierte Gehalt liegt zwischen 45000 - 65000 € pro Jahr.
Junior Professorship (W1‑Professur) für Computational Logic – Tenure Track (m/f/d) am Institut für Theoretische Informatik, Fakultät für Ingenieurwissenschaften, Informatik und Psychologie, Universität Ulm. Startdatum: so bald wie möglich.
Über die Universität Ulm
Die Universität Ulm ist eine junge Forschungsuniversität mit Schwerpunkt auf Naturwissenschaften, Medizin und Technik mit mehr als 10.000 Studierenden. Das Institut bietet ein dynamisches Arbeitsumfeld, interdisziplinäre Kooperationsmöglichkeiten und ein starkes regionales Netzwerk.
Hauptverantwortlichkeiten
- Entwicklung und Durchführung eines internationalen Forschungsprogramms in der computational logic, einschließlich Themen wie Distributed SAT‑solving, Parallel SAT‑solving, SAT solving auf GPU-Clustern und SAT solving für hybride KI-Architekturen.
- Sicherung und Verwaltung von wettbewerbsfähigen Drittmitteln und Publikationen.
- Lehre von Bachelor- und Masterkursen in Informatik. Grundlegende Lehrveranstaltungen werden in deutscher Sprache angeboten; fortgeschrittene Kurse können in englischer Sprache unterrichtet werden.
- Teilnahme an der Selbstverwaltung der Fakultät und Vorbereitung auf die Evaluation zur Ernennung auf eine tenured W3-Professur.
Qualifikationen und Anforderungen
- Abgeschlossenes Hochschulstudium mit Promotion (außergewöhnlich hervorragende Qualität).
- Internationale Forschungserfahrung in der computational logic, einschließlich Nachweis über die Sicherung von Drittmitteln.
- Starke Lehrfähigkeiten, belegt durch hervorragende Bewertungen oder laufende Weiterbildung.
- Lehrbefähigung und besondere Eignung für akademische Arbeit gemäß den Satzungen der Universität Ulm und fachspezifischen Voraussetzungen.
- Nachgewiesene Erfahrung in der Antragstellung für Forschungsprogramme, die das Fachwissen des Instituts und der Universität ergänzen.
Chancengleichheit
Die Universität Ulm ermutigt qualifizierte Wissenschaftlerinnen, schwerbehinderte Bewerber mit gleicher Eignung und alle Personen mit unterschiedlichen Hintergründen zur Bewerbung.
Kontakt und Bewerbung
Referenz-Nr.: 26078 – Bewerbungsfrist: 30.06.2026. Für weitere Informationen kontaktieren Sie Prof. Dr. Matthias Tichy (Telefon +49 731 50‑24160). Bewerben Sie sich über das Online-Bewerbungsportal.
Junior Professorship (W1-Professur) of Computational Logic (m/f/d) Arbeitgeber: Internetchemie
Die Universität Ulm bietet ein dynamisches Arbeitsumfeld und fördert die Zusammenarbeit in der Forschung. Sie legt Wert auf Chancengleichheit und ermutigt Frauen sowie Menschen mit Behinderungen zur Bewerbung. Der Standort ist in Ulm, Deutschland, bekannt für seine innovative Forschung in Naturwissenschaften und Technik.
