Die Universität Ulm ist eine junge Forschungsuniversität mit Schwerpunkten in Naturwissenschaften, Medizin und Technik. Mit rund 10.000 Studierenden bietet sie in einer wirtschaftlich starken Region ein dynamisches Arbeitsumfeld mit interessanten Vernetzungs- und Entwicklungsperspektiven.
In der Fakultät für Ingenieurwissenschaften, Informatik und Psychologie am Institut für Theoretische Informatik ist zum nächstmöglichen Zeitpunkt folgende Professur zu besetzen:
W1-Juniorprofessur für Computational Logic (m/w/d) -mit Tenure Track
Die Universität Ulm strebt eine Erhöhung des Anteils von Frauen in Forschung und Lehre an und bittet deshalb qualifizierte Wissenschaftlerinnen nachdrücklich um ihre Bewerbung. Schwerbehinderte und diesen gleichgestellte Menschen werden bei entsprechender Eignung vorrangig eingestellt.
Die Juniorprofessur stärkt den Bereich der theoretischen Informatik an der Universität Ulm in Forschung und Lehre. In der Forschung setzen wir voraus, dass derdie erfolgreiche BewerberBewerberin im Forschungsgebiet Computational Logic international hervorragend ausgewiesen ist und so zur weiteren Profilbildung des Fachbereichs Informatik beiträgt, indem bestehende Forschungsexpertisen strategisch ergänzt werden. Der Forschungsschwerpunkt muss auf der Entwicklung von Grundlagen und Methoden für skalierbares SAT-Solving liegen. Es wird Forschungsexpertise in allen folgenden Forschungsthemen vorausgesetzt:
- Verteiltes SAT-Solving
- Paralleles SAT-Solving
- SAT Solving auf GPU-Clustern
- Anwendung von SAT-Solving für hybride KI Architekturen
Innerhalb der Universität sowie der Fakultät findet die Juniorprofessur ein ideales Umfeld mit vielfältigen inhaltlichen Anknüpfungspunkten; weitere Anknüpfungspunkte gibt es bspw. mit Unternehmen in der Wissenschaftsstadt Ulm, dem Graduiertenkolleg KEMAI „“ und dem Transferzentrum für Digitalisierung, Analytics & Data Science Ulm. Erfolge bei der Einwerbung von kompetitiven Drittmitteln werden vorausgesetzt.
Wir suchen eine Person, die das Lehrangebot für unsere Informatik B.Sc.- und M.Sc.-Studiengänge in Deutsch und in Englisch mit Engagement und Begeisterung erweitert. Bewerber*innen sollen über sehr gute didaktische Fähigkeiten verfügen, die zum Beispiel durch entsprechende Lehrevaluationen nachgewiesen werden. Eine aktive Beteiligung an der Selbstverwaltung der Fakultät wird erwartet.
Bei Bewährung erfolgt die Übernahme auf eine unbefristete W3-Professur. Die Anforderungen für eine spätere Übernahme auf die W3-Professur ergeben sich aus der Satzung und den für diese Professur festgelegten fachspezifischen Anforderungen.
Einstellungsvoraussetzungen sind ein abgeschlossenes Hochschulstudium, pädagogische Eignung und die besondere Befähigung zu wissenschaftlicher Arbeit, die in der Regel durch die herausragende Qualität einer Promotion nachgewiesen wird (§ 51 Abs. 2 LHG).
Nutzen Sie die Chance und gestalten Sie mit uns die Universität!
> Referenz-Nr.: 26078 > Bewerbungsfrist: bis 30.06.2026
Ansprechpartner für weitere Informationen: Prof. Dr. Matthias Tichy, Tel. +49 731 50-24160
Wir freuen uns auf Ihre Bewerbung über unser Online-Bewerbungsportal