Studentische Beschäftigung mit 80 Monatsstunden - FG Modelle und Theorie Verteilter Systeme

Studentische Beschäftigung mit 80 Monatsstunden - FG Modelle und Theorie Verteilter Systeme an der Technische Universität Berlin

Ihre Aufgaben

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%)

Ihr Profil

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