Navigation überspringen

Timm Spork

writes the final thesis.

Bis 2022, Software Developer (Working Student), SOPTIM AG
Student, Computer Science (Master), RWTH Aachen University
Aachen, Deutschland

Fähigkeiten und Kenntnisse

Theoretical computer science
Model Checking
Mathematics
Teaching
Software Development
Frontend Development
Backend Development
Java
C#
Windows Presentation Forms (WPF)
JavaScript
AngularJS
Git
SQL
Oracle Databases
Cascading Style Sheets (CSS)
Agile Methods
Flutter
Xamarin.Forms
Theoretical Mathematics
C++
Scrum
Representational State Transfer (REST)
Mathematical Analysis
Quarkus
Computer
Information technology
Software
MVVM
Database
Computer Science
English Language
IT-Anwendungen

Werdegang

Berufserfahrung von Timm Spork

  • Bis heute 2 Jahre und 8 Monate, seit Okt. 2022

    Research and Teaching Assistant

    'Lehrstuhl für Informatik 2' at RWTH Aachen University

  • 2 Jahre und 6 Monate, Apr. 2020 - Sep. 2022

    Software Developer (Working Student)

    SOPTIM AG

    In the first few months I worked in a team developing a REST-based website using AngularJS. My tasks included implementation of new features, testing and bugfixing. Currently I help to develope an application realized by a JavaEE/Quarkus backend and a C#/WPF frontend in MVVM-pattern. Although specializing more on the frontend-tasks (e.g. implementing new Views, ViewModels), I also worked on several backend features including database adjustments (SQL / Oracle databases) and BREAD-services.

  • 6 Monate, Okt. 2019 - März 2020

    Software Developer (Working Student)

    msg

    I worked as a software engineer on an app developed from scratch in Xamarin.Forms. My responsibilities included the design, implementation and testing of the app, as well as construction of the data model, database and communication with the client.

  • 3 Jahre und 1 Monat, Sep. 2016 - Sep. 2019

    Research and Teaching Assistant

    Lehrstuhl A für Mathematik at RWTH Aachen University

    I worked as a teaching assistant for multiple courses, including 'Analysis 1/2' and 'Analysis für Informatiker'. Additionally I was responsible for an exercise group for the 'Vorkurs für Mathematik' in September '16-'19. My tasks included - Hosting weekly exercise groups to help the students understand the contents of the respective courses - Correction of weekly exercises and exams - Helping new students to find their way around the campus during the 'Vorkurs für Mathematik'

Ausbildung von Timm Spork

  • Bis heute 4 Jahre und 8 Monate, seit Okt. 2020

    Computer Science (Master)

    RWTH Aachen University

    My studies are mostly focused on theoretical computer science, primarily in the field of model checking and automata theory. Currently I am writing my final thesis and expect to submit it until the end of this year. In the thesis I deal with the approximate minimization of Markovian systems and how it can be used to reliably reduce the size of these systems to speed up model checking and verification techniques. At the moment, my overall grade is 1.3.

  • 3 Jahre, Okt. 2017 - Sep. 2020

    Computer Science (Bachelor)

    RWTH Aachen University

    I mainly focused on theoretical computer science and chose mathematics for my applied courses. I wrote my thesis in the field of automata theory and more precisely looked at the decidability of first-order logics with reachability. My thesis was graded with 1.0 (both written part and the colloquium) and my overall grade was 1.7.

  • 4 Jahre und 8 Monate, Okt. 2014 - Mai 2019

    Mathematics (Bachelor)

    RWTH Aachen University

    I mainly focused on theoretical mathematics and in particular theoretical analysis, function theory and number theory. My thesis dealt with a connection between the prime-counting function and Riemann's zeta-function, which was first discovered by Riemann in the mid 1850s. The thesis got graded with a 1.0 and my overall grade was 2.3.

Sprachen

  • Deutsch

    Muttersprache

  • Englisch

    Fließend

  • Französisch

    Grundlagen

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