Navigation überspringen

Sören van der Wall

Angestellt, Scientific Assistant, TU Braunschweig

Fähigkeiten und Kenntnisse

Formal Methods
Rust (programming language)
nix
Linux
LaTeX
Model Checking
Type Systems
English

Werdegang

Berufserfahrung von Sören van der Wall

  • Bis heute 5 Jahre und 8 Monate, seit Okt. 2019

    Scientific Assistant

    TU Braunschweig

    Research Assistant at TU Braunschweig, Theoretical Computer Science, Model Checking, Formal Methods

Ausbildung von Sören van der Wall

  • 6 Jahre und 2 Monate, Okt. 2013 - Nov. 2019

    Computer Science

    TU Braunschweig

XING – Das Jobs-Netzwerk

  • Über eine Million Jobs

    Entdecke mit XING genau den Job, der wirklich zu Dir passt.

  • Persönliche Job-Angebote

    Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.

  • 22 Mio. Mitglieder

    Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.

  • Kostenlos profitieren

    Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.

21 Mio. XING Mitglieder, von A bis Z