Auf einen Blick
- Aufgaben: Forschung und Lehre im Bereich Computational Logic mit Fokus auf skalierbares SAT-Solving.
- Unternehmen: Universität Ulm, eine innovative Institution mit starkem Fokus auf Diversität.
- Vorteile: Tenure Track Möglichkeit, unbefristete W3-Professur bei Bewährung, und ein dynamisches Arbeitsumfeld.
- Weitere Informationen: Engagement in der Selbstverwaltung und Zusammenarbeit mit Unternehmen in der Wissenschaftsstadt Ulm.
- Warum dieser Job: Gestalte die Zukunft der Informatik und arbeite an spannenden Projekten in einem inspirierenden Umfeld.
- Qualifikationen: Abgeschlossenes Hochschulstudium, hervorragende didaktische Fähigkeiten und Promotion.
Das prognostizierte Gehalt liegt zwischen 50000 - 70000 € pro Jahr.
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 gleichgestellten 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 werden von der erfolgreichen Bewerberin bzw. dem erfolgreichen Bewerber internationale hervorragende Leistungen im Bereich Computational Logic erwartet, die das Fachgebiet Informatik weiter profilieren. Der Schwerpunkt liegt auf der Entwicklung von Grundlagen und Methoden für skalierbares SAT‑Solving. Die Forschungsexpertise muss in den folgenden Themen liegen:
- 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 "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.
Die betreffende Person soll das Lehrangebot für die Informatik B.Sc.- und M.Sc.-Studiengänge in Deutsch und in Englisch mit Engagement und Begeisterung erweitern. 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).
W1-Juniorprofessur für Computational Logic (m/w/d) - mit Tenure Track -Referenz-Nr. 26078 Arbeitgeber: Ulm University
Die Universität Ulm bietet eine inspirierende Arbeitsumgebung für Wissenschaftler*innen, die sich in der Forschung und Lehre im Bereich der theoretischen Informatik engagieren möchten. Mit einem klaren Fokus auf Diversität und Chancengleichheit fördert die Universität aktiv die Karriereentwicklung ihrer Mitarbeiter*innen durch Tenure-Track-Programme und enge Kooperationen mit der Industrie in der Wissenschaftsstadt Ulm. Die Möglichkeit, an innovativen Projekten zu arbeiten und sich in einem dynamischen Team weiterzuentwickeln, macht die Universität Ulm zu einem attraktiven Arbeitgeber für talentierte Wissenschaftler*innen.
