W1-Juniorprofessur für Computational Logic (m/w/d) - mitTenure Track

Die Universität Ulm ist eine junge
Forschungs­universität mit Schwerpunkten in Natur­wissen­schaften,
Medizin und Technik. Mit rund 10.000 Studierenden bietet sie in
einer wirtschaftlich starken Region ein dynamisches Arbeitsumfeld
mit interessanten Vernetzungs- und Entwick­lungs­perspektiven. Die
Universität Ulm strebt eine Erhöhung des Anteils von Frauen in
Forschung und Lehre an und bittet deshalb qualifizierte
Wissen­schaft­lerinnen 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 der*die
erfolgreiche Bewerber*Bewerberin 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 Junior­professur 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 und den für diese Professur
festgelegten fachspezifischen Anforderungen.
Einstellungsvoraussetzungen sind ein abgeschlossenes
Hoch­schul­studium, 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
Ansprechpartner für weitere Informationen: Prof. Dr.
Matthias Tichy, Tel. Wir freuen uns auf Ihre
Bewerbung über unser unter Online-BewerbungsportalInformatik
Professor, Professorin Postdoc Lehre & Forschung, Wissenschaft
Universität Forschungseinrichtung Vollzeit