Organisationseinheit::
Institut für Symbolic Artificial Intelligence
Eintrittsdatum::
01.10.2026
Befristung von::
01.10.2026
Befristung bis::
31.12.2027
Anzeigennummer::
33800-2026-001987
Ihre Aufgaben::
- Selbstständige Forschungstätigkeit im Bereich der symbolischen künstlichen Intelligenz, der computationalen Logik, oder des automatischen Beweisens
- Durchführung einer Dissertation
- Mitarbeit in Forschungsprojekten
- Mitarbeit in der Lehre: Mitorganisation und Mitbetreuung von Übungen, Seminaren, Praktika, Bachelor- und Masterarbeiten zu forschungsnahen Themen
Ihr Profil::
- Abgeschlossenes Diplom-/Masterstudium der Informatik, Mathematik, oder eines verwandten Bereichs
- Kenntnisse im Bereich der symbolischen künstlichen Intelligenz, computationalen Logik, oder des automatischen Schließens
- Solide Programmierkenntnisse (Systemprogrammierung)
- Enthusiasmus für Forschung und Lehre
- Erfahrung in der Abhaltung von Lehrveranstaltungen
- Gute Sprachkenntnisse in Deutsch und Englisch (Deutsch Niveaustufe C1, Englisch Niveaustufe B2)
- Sehr gute Kommunikations- und Teamfähigkeit
- Erfahrung mit parallelen und verteilten QBF Solving
- Erfahrung mit quantifizierten booleschen Formeln
Unser Angebot::
- Auf Basis einer Vollzeitbeschäftigung (40 Wochenstunden) beträgt das monatliche Mindestgehalt € 3.776,10 brutto (14 x pro Jahr, KV-Einstufung B1)
- Stabile Arbeitgeberin
- Attraktiver Campus mit guter Verkehrsanbindung
- Kontinuierliche, attraktive Bildungschancen
- Moderne Forschungsinfrastruktur
- Dynamisches Forschungsumfeld
- Breites kulinarisches Angebot/Gesundes Essen (Bio Mensa)
- Sport und Bewegung (USI)
- u.v.m.
Ende Bewerbungsfrist::
08.07.2026
:
Im Sinne des Frauenförderungsplans der JKU Linz werden Frauen besonders ermutigt, sich zu bewerben, diese werden bei gleicher Qualifikation vorrangig aufgenommen. Menschen mit Beeinträchtigung, welche zum „Kreis der begünstigt Behinderten“ gehören, werden bei entsprechender Eignung besonders berücksichtigt.
Platz für Ihre Zukunft? Wir freuen uns auf Ihre Bewerbung über unser Jobportal. Für inhaltliche Auskünfte steht Ihnen Univ.-Prof.in Dr.in Martina Seidl, T +43 732 2468 5751, E-Mail: martina.seidl@jku.at zur Verfügung.
Standort::
Altenberger Straße
69,
4040
Linz
Um dich für diesen Job zu bewerben, besuche bitte karriere.jku.at.