Wir suchen Unterstützung für das Studienreformprojekt "ProveIT". Bewerber:innen entwickeln eine Webanwendung für einen Beweisassistenten für die Lehre. Zu den Aufgaben gehören:

• Angeleitete Entwicklung von Komponenten für die Weboberfläche (10 %)
• Erstellung von graphischen Darstellung von Beweisen (10 %)
• Einbindung eines Datenmanagements (5 %)
• Einbindung eines Rollen- und Kursmanagements (5 %)
• Erstellen von Materialien für die Lehre (70 %)

Muss:

• sehr gute Programmierkenntnisse
• gute Kenntnisse in Typescript JavaScript (Node und/oder React)
• gute Linux-Kenntnisse
• sicherer Umgang mit git
• gute Deutsch- und/oder Englischkenntnisse erforderlich; Bereitschaft die jeweils fehlenden Sprachkenntnisse zu erwerben

Kann:

• Erfahrungen mit Webprogrammierung
• gute Kenntnisse in Isabelle
• Kenntnisse in ML, Scala, Golang oder Äquivalentes
• gute Beweiskenntnisse
• gute Kommunikationsfähigkeit
• selbstständiges Arbeiten

Fachlich verantwortlich / Ansprechpartner:in für die Ausschreibung: Nadine Karsten (n.karsten@tu-berlin.de)
Besetzungszeitraum: ab sofort bis 31.03.2026
Bewerbung an: sekretariat@mtv.tu-berlin.de

Ihre schriftliche Bewerbung mit Anschreiben, Lebenslauf, Immatrikulationsbescheinigung und ggf. aktueller Notenübersicht richten Sie bitte unter Angabe der Kennziffer an die o.g. Beschäftigungsstelle.
Zur Wahrung der Chancengleichheit zwischen Männern und Frauen sind Bewerbungen von Frauen mit der jeweiligen Qualifikation ausdrücklich erwünscht. Schwerbehinderte werden bei gleicher Eignung bevorzugt.