2 Stellen – Studentische Beschäftigung mit 80 Monatsstunden

Wir suchen Unterstützung für die Weiterentwicklung von ProofBuddy (aus dem Projekt "ProveIT") zur Entwicklung einer Webanwendung für einen Beweisassistenten:

• Unterstützung bei der Entwicklung, Erweiterung und Optimierung der Weboberfläche (50%)
• Unterstützung bei der Einbettung eines neuen Parsers (10%)
• Unterstützung bei der Erstellung einer visuellen Darstellung von Beweisen (10%)
• Unterstützung bei der Einrichtung eines Bewertungsmanagement in der Datenbank (20%)
• Unterstützung bei der Implementierung von Secrurityprinzipien (10%)

Muss:

• Sehr gute Programmierkenntnisse in TypeScript
• Erfahrungen mit Webprogrammierung
• Gute Kenntnisse in JavaScript (Node und React) und Effect
• Gute Linux-Kenntnisse
• Sicherer Umgang mit git
• Gute Deutsch- und/oder Englischkenntnisse erforderlich; Bereitschaft die jeweils fehlenden Sprachkenntnisse zu erwerben

Kann:

• Erfahrungen mit ML, Scala, Nix oder Golang
• Grundkenntnisse in Isabelle
• Gute Beweiskenntnisse
• Gute Kommunikationsfähigkeit
• Selbstständige Arbeitsweise

Fachlich verantwortlich / Ansprechpartner:in für die Ausschreibung: Nadine Karsten - n.karsten@tu-berlin.de
Besetzungszeitraum: vom 01.10.2026 befristet für 2 Jahre
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.