Junior Professorship (W1-Professur) of Computational Logic (m/f/d) Universität Ulm
Ulm University is a young research university with a focus on natural sciences, medicine and technology. Located in an economically strong region the University with its more than 10,000 students offers a dynamic work environment with attractive networking and development prospects.
The University is seeking to increase the proportion of women in research and teaching and particularly encourage qualified female scientists to apply for this position. Severely disabled applicants with equal aptitude will be given preferential consideration.
The Faculty of Engineering, Computer Science and Psychology, Institute of Theoretical Computer Science, is seeking to fill the position, starting as soon as possible, of
Junior Professorship (W1-Professur) for Computational Logic
- with Tenure Track (m/f/d)
We are seeking an exceptional candidate with an international track record in the field of computational logic to strengthen the area of theoretical computer science at Ulm University with respect to research and teaching. We expect a track record in acquiring competitive third-party funding. The successful candidate will propose a research program that strengthens and complements the research expertise in the institute, the faculty and the university as a whole. We expect research expertise in all of the following research topics:
- Distributed SAT-solving
- Parallel SAT-solving
- SAT solving on GPU-clusters
- Application of SAT-solving for hybrid AI architectures
The university provides an ideal setting for the assistant professor, with numerous opportunities for interdisciplinary collaboration and exchange, e.g., the research training center KEMAI „Knowledge Infusion and Extraction for Explainable Medical AI“. Additionally, the Science City of Ulm and the Transfer Center for Digitization, Analytics & Data Science offer further connections and partnerships with local companies.
We are looking for an individual with a passion for teaching to strengthen our teaching portfolio for our computer science B.Sc. and M.Sc. programs. Basic-level instruction is offered in German while advanced courses may be taught in English. We expect strong teaching skills, documented, for example, by excellent teaching evaluations or continued educational training. Active participation in the faculty’s self-administration is expected.
If the evaluation is positive, appointment to a tenured W3 professorship will be offered. Requirements for a later transition to a W3 professorship are defined in the 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 (Statutes of Ulm University regarding quality assurance during the appointment and evaluation of tenure track professors of 21 November 2018) and the subject-specific prerequisites for this professorship.
In addition to the general legal requirements, the employment requirements include completed university studies as well as teaching aptitute and special aptitude for academic work, which is usually demonstrated by the outstanding quality of a doctorate (§ 51 Abs. 2 LHG).
Seize the opportunity and join us in shaping the future of the University!
> Reference no.:
26078
> Applicaton deadline:
30.06.2026
Your contact for further information:
Prof. Dr. Matthias Tichy, phone +49 731 50-24160
We look forward to your application via our online application portal
Reference number
26078
Additional actions
Receive similar jobs by e-mail?
Subscribe to our job mail!
Similar Jobs
Technische Universität Clausthal
Wirtschaftsuniversität Wien
Carl von Ossietzky Universität Oldenburg