Offene Stelle am Lehrstuhl für Computational Logic
Aus International Center for Computational Logic
Neuigkeit aus der Forschungsgruppe Computational Logic vom 2. Mai 2022
Offene Stelle am Lehrstuhl für Computational Logic
Der Lehrstuhl für Computational Logic unter der Leitung von Prof. Dr. Sebastian Rudolph sucht eine/n neue/n wissenschaftliche/n Mitarbeiter/in.
Die Stelle ist vom 1. Juli 2022 bis zum 30. Juni 2025 befristet und bietet die Möglichkeit zur wissenschaftlichen Weiterqualifikation (z.B. Promotion). Die Vergütung erfolgt nach Entgeltgruppe E13 TV-L.
Wir suchen motivierte und talentierte Mitarbeiter/innen mit einem sehr guten Hochschulabschluss (M.Sc. oder gleichwertig) in Informatik oder einem verwandten Fachgebiet. Die Stelle ist besonders geeignet für Kandidaten mit Vorerfahrungen in den folgenden Themen:
- KI-Methoden aus den Bereichen Wissensrepräsentation, logische Programmierung, logisches Schlussfolgern
- Grundlagen und Anwendungen anderer symbolischer KI-Methoden, z.B. Planung, Prozessmodellierung, Optimierung
- Entwurf und Implementierung von entsprechenden Systemen in gängigen Programmiersprachen
