Ihre Aufgaben:
- Mitarbeit an Forschungs- und Lehraufgaben in Automated Reasoning sowie Prüfungen
- Betreuung von Studierenden
- Forschungs- und Projekttätigkeit in Automated Reasoning
- Vertiefen der wissenschaftlichen Kenntnisse
- Verfassen einer Dissertation und von Publikationen
- Teilnahme an wissenschaftlichen Veranstaltungen
- Mitarbeit bei Organisations- und Verwaltungsaufgaben
|
