2 Stellen – Studentische Beschäftigung mit 80 Monatsstunden
Technical University of Berlin
Berlin, Germany · Fakultät IV - Elektrotechnik und Informatik, Institut für Softwaretechnik und Theoretische Informatik – FG Modelle und Theorie Verteilter Systeme
OtherBerlin
- Posted
- 16 September 2026 (yesterday)
- Deadline
- Not specified
- Department
- Fakultät IV - Elektrotechnik und Informatik, Institut für Softwaretechnik und Theoretische Informatik – FG Modelle und Theorie Verteilter Systeme
- Category
- Other
- Employment type
- Not specified
- Language
- Not specified
Summary
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%)