2 Stellen – Studentische Beschäftigung mit 80 Monatsstunden

TU Berlin: Technische Universität Berlin • Part-time • Berlin, Berlin, Deutschland • 1d ago

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

Related Jobs

Wiss. Mitarbeiter*in (d/m/w) - 75 % Arbeitszeit

TU Berlin: Technische Universität Berlin • Part-time • Berlin, Berlin, Deutschland • 13h ago

Environmental & Sustainability Sciences Research Wissenschaftliche:r Mitarbeiter

13h ago

Apply

Wiss. Mitarbeiter*in (d/m/w)

TU Berlin: Technische Universität Berlin • Full-time • Berlin, Berlin, Deutschland • 13h ago

Environmental & Sustainability Sciences Artificial Intelligence Wissenschaftliche:r Mitarbeiter Sustainability

13h ago

Apply

Wiss. Mitarbeiter*in (d/m/w) - PostDoc

TU Berlin: Technische Universität Berlin • Full-time • Berlin, Berlin, Deutschland • 13h ago

Natural Sciences Neuroscience Postdoctoral researcher Data science

13h ago

Apply

Wiss. Mitarbeiter*in (PostDoc) mit Daueraufgaben (d/m/w)

TU Berlin: Technische Universität Berlin • Full-time • Berlin, Berlin, Deutschland • 13h ago

Natural Sciences Energy Data science Wissenschaftliche:r Mitarbeiter

13h ago

Apply

Wiss. Mitarbeiter (PostDoc) (d/m/w) - 2. Qualifizierungsphase (Habilitation)

TU Berlin: Technische Universität Berlin • Full-time • Berlin, Berlin, Deutschland • 13h ago

Natural Sciences Research Postdoctoral researcher Wissenschaftliche:r Mitarbeiter

13h ago

Apply

Wiss. Mitarbeiter*in mit Daueraufgaben (PostDoc) (d/m/w)

TU Berlin: Technische Universität Berlin • Full-time • Berlin, Berlin, Deutschland • 13h ago

Engineering Mechanical Engineering Wissenschaftliche:r Mitarbeiter Project Management

13h ago

Apply

Studentische Beschäftigung mit 60 Monatsstunden

TU Berlin: Technische Universität Berlin • Part-time • Berlin, Berlin, Deutschland • 1d ago

Education & Pedagogy Teaching Assistant Aerospace Engineering Technical Assistant

1d ago

Apply

Studentische Beschäftigung mit 80 Monatsstunden

TU Berlin: Technische Universität Berlin • Part-time • Berlin, Berlin, Deutschland • 1d ago

Engineering Research Assistant Technischer Assistent

1d ago

Apply

Studentische Beschäftigung mit 80 Monatsstunden

TU Berlin: Technische Universität Berlin • Part-time • Berlin, Berlin, Deutschland • 1d ago

Natural Sciences Research Engineering Technical Assistant

1d ago

Apply

Studentische Beschäftigung mit 40 Monatsstunden

TU Berlin: Technische Universität Berlin • Part-time • Berlin, Berlin, Deutschland • 1d ago

Engineering Technischer Assistent Research

1d ago

Apply