Willkommen am Institut für Symbolic Artificial Intelligence.

Wir entwicklen Techniken und Werkzeuge für automatisches Schließen.

Wir erforschen und entwickeln symbolische Techniken und Werkzeuge zum automatischen Schließen. Diese finden in der künstlichen Intelligenz, aber auch in anderen Felder wie der formalen Verifikation ihre Anwendung.

Das Institut befindet sich gerade in seiner Aufbauphase.

Wir haben noch offene PhD- und Postdoc Stellen. Bei Interesse bitte bei Prof. Martina Seidl melden.

Institut für Symbolic Artificial Intelligence

Adresse

Johannes Kepler Universität Linz
Altenberger Straße 69
4040 Linz

Standort

Science Park 4, 3. Stock, Raum 342

Öffnungszeiten Sekretariat

Mo-Do: 09:00 - 12:00 Uhr

Telefon

+43 732 2468 5751

E-Mail

sai@jku.at