2 Stellen – Studentische Beschäftigung mit 80 Monatsstunden
Technische Universität Berlin
Berlin, Deutschland · Fakultät IV - Elektrotechnik und Informatik, Institut für Softwaretechnik und Theoretische Informatik – FG Modelle und Theorie Verteilter Systeme
SonstigesBerlin
- Veröffentlicht
- 16. September 2026 (gestern)
- Bewerbungsfrist
- Keine Angabe
- Bereich
- Fakultät IV - Elektrotechnik und Informatik, Institut für Softwaretechnik und Theoretische Informatik – FG Modelle und Theorie Verteilter Systeme
- Kategorie
- Sonstiges
- Beschäftigungsart
- Keine Angabe
- Sprache
- Keine Angabe
Kurzbeschreibung
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%)