Skip navigation

Sören van der Wall

Angestellt, Scientific Assistant, TU Braunschweig

Skills

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

Timeline

Professional experience for Sören van der Wall

  • Current 6 years and 4 months, since Oct 2019

    Scientific Assistant

    TU Braunschweig

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

Educational background for Sören van der Wall

  • 6 years and 2 months, Oct 2013 - Nov 2019

    Computer Science

    TU Braunschweig

XING members with similar profiles

Renato Machelett

Owner

Karlsruhe

Tobias Sander

Senior Java / Scala / Big Data Developer

München

Eric Isensee

Lead Software Engineer

Bremen

Zarmina Ahmad

---

Vienna

Haniel Rameshbabu

Software Engineer

Remote

Zharko Popovski

Web Developer

Herford

Tony Modica

Senior Software Engineer

Berlin

Dmitrii Sharshakov

---

Linz

Tim Hilt

Applied Computer Science

Esslingen

Richard Neumann

Softwareentwickler, Systemadministrator

Hannover

Sruthi Katikala

Senior Software Engineer

Hyderabad

Daniel Vorhauer

Solution Principal

Winnemark

Marvin Lunz

Senior Software Engineer

Erlangen

Ehsan Moslehi

Werkstudent

Munich

Davide Pomi

---

Berlin

Matias Repetti

Software Developer (Ruby/Javascript/Golang)

Zaragoza

Flavio de Sousa

Senior Full-Stack Developer

Leipzig

Martin Wohlert

PHP Developer

Boizenburg/Elbe

Alexander Schulz

Software-Entwickler

Karlsruhe

Sven Pistre

---

Aachen

XING – The jobs network

  • Over 1 million jobs

    Find just the right job for you on XING.

  • Job offers just for you

    Get found by employers and over 20,000 recruiters.

  • 21 million members

    Connect with new people and gather inspiration to boost your working life.

  • Free membership

    Basic membership is free, but the opportunities are priceless.

Browse over 21 million XING members

Last name:

ABCDEFGHIJKLMNOP
QRSTUVWXYZ