Wir suchen einen Mitarbeiter für eine Projektstelle am Institut für Computertechnik zur Mitarbeit an einem geförderten Forschungsprojekt.
Bezahlung gemäß Kollektivvertrag der TU-Wien, je nach abgeschlossener Ausbildung (Bachelor, Master, Doktorat), ggf. auch mit Überzahlung.

Erforderliche Kenntnisse:

• Formale Logik
• Programmieren in Java

[h=2]Wünschenswerte Kenntnisse:[/h]

• Situation Calculus
• Fluent Calculus
• Automatisiertes Planen
• Eclipse Modeling Framework (EMF)

Bei Interesse schicken Sie ihre Bewerbungsunterlagen bitte per Mail an roman.popp@tuwien.ac.at.