[AI-announce] Gesucht: Entwickler*innen für web-basierte Lehrunterstützung

[Thomas Zeume]

Liebe Studierende,

wir suchen studentische Entwickler*innen und kreative Köpfe für die 
Entwicklung des web-basierten Lehrsystems Iltis (siehe 
https://iltis.cs.tu-dortmund.de). Iltis ist ein an der Ruhr-Universität 
Bochum und der TU Dortmund entwickeltes System zur Unterstützung der 
Lehre im Theorie-Bereich der Informatik-Studiengänge (Theoretische 
Informatik, Logik, Formale Verifikation,...).

Zu besetzen sind verschiedene Hilfskraftstellen (SHK/WHF) im Rahmen von 
8 bis 17 Stunden pro Woche mit flexibler Gestaltung von Arbeitszeiten 
und -orten.

*Was das Projekt bietet*

Im Projekt hast du die Möglichkeit in einem jungen dynamischen Team 
deine Fähigkeiten an einem großen Entwicklungsprojekt auszuprobieren. Du 
kannst deinen Horizont um weitere moderne Technologien und 
Entwicklungsmethoden erweitern.

Das Projekt bietet eine ganze Reihe spannender Aufgaben, beispielsweise:

- Entwicklung von Komponenten für web-basierte Lehreinheiten sowie 
graphischer Komponenten für die Benutzeroberfläche

- Entwicklung von Komponenten für den Umgang mit natürlicher Sprache 
(insbesondere bei Modellierungsaufgaben)

- Design und Umsetzung von Algorithmen zur intelligenten Generierung von 
Feedback und Hilfestellungen

- Entwicklung von Algorithmen zur automatischen Generierung von Statistiken

- Entwicklung von Inhalten (Übungsaufgaben, Tutorials, ...; hierfür sind 
gfs. weniger Programmierkenntnisse nötig)

- und viele mehr...


*Was du mitbringen musst*

Wir suchen Team-Mitglieder ab dem 1. Semester, die

- viel Spaß am Programmieren sowie sehr gute Programmierkenntnisse 
(vorzugsweise in Java) mitbringen,

- im Team kreative Lösungsideen für die web-basierte Lehre entwickeln 
und umzusetzen möchten, und

- eigenverantwortlich ihren Teil zum Gelingen des Projektes beitragen


Konnte dein Interesse, an unserem Projekt als studentische Hilfskraft 
mitzuwirken, geweckt werden? Dann antworte gerne einfach auf diese Mail 
(gerne bereits mit einem kurzen Lebenslauf, aktuellem Notenspiegel, 
sowie einer kurzen Beschreibung vorhandener Programmierkenntnisse). Auch 
für Fragen kannst du dich gerne an mich wenden!


Viele Grüße
Thomas Zeume

-- 
Prof. Dr. Thomas Zeume
Logic and formal verification

Faculty of Computer Science
Ruhr University Bochum
Universitätsstraße 150
44801 Bochum
Phone: +49 (0)234 32-19609
Mail: thomas.zeume at rub.de