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. 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. 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 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ü weitere Anknüpfungspunkte gibt es bspw. mit Unternehmen in der Wissenschaftsstadt Ulm, dem Graduiertenkolleg KEMAI „Knowledge Infusion and Extraction for Explainable Medical AI“ 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 der Universität Ulm zur Qualitätssicherung bei der Berufung und Evaluierung von Tenure-Track-Professoren und Tenure Track-Professorinnen vom 21.11.2018 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 unter Online-Bewerbungsportal