Navigation überspringen

Dr. Maximilian Senftleben

ist zurzeit nicht an Angeboten interessiert. ❌

Angestellt, Softwareentwickler Embedded, frogblue TECHNOLOGY GmbH
Abschluss: Dr.-Ing. (Informatik), Technische Universität Kaiserslautern
Neustadt an der Weinstrasse, Deutschland

Fähigkeiten und Kenntnisse

C#
F#
Embedded Systems
JavaScript
PHP
SQL
Java
HTML5
TypeScript
Anwendungsentwicklung
Multicore Architekturen
Schwache Speichermodelle
Webprogrammierung
Informationstechnologie
Software-Verifikation
C/C++
Git
CSS
Qt
Python

Werdegang

Berufserfahrung von Maximilian Senftleben

  • Bis heute 5 Jahre und 3 Monate, seit März 2020

    Softwareentwickler Embedded

    frogblue TECHNOLOGY GmbH

  • 8 Jahre und 8 Monate, Mai 2011 - Dez. 2019

    Wissenschaftlicher Mitarbeiter

    Technische Universität Kaiserslautern

    Fachbereich Informatik - Lehrstuhl Eingebette Systeme, Forschung als Doktorand (Schwache Speicherkonsistenz), Vorlesungsbetreuung (Übungsbetreuung bzw Leitung Übungsbetrieb), Technische Betreuung der Lehrstuhl IT (Netzwerk, Server, Arbeitsplätze, andere Hardware/Software), Entwicklung und Betreuung eines Online-Übungssystems für die Vorlesungsbegleitung

  • 5 Jahre und 5 Monate, Jan. 2009 - Mai 2014

    PHP-Programmierer

    Euro Modul S.á r.l.

    Programmiertätigkeiten im Zusammenhang mit der Internetplattform „AllFindUs“ sowie Betreuung weiterer Internetauftritte

  • 1 Monat, Mai 2009 - Mai 2009

    Dozent

    VHS Lambrecht (Pfalz)

    EDV Grundkurs für Senioren

  • 1 Monat, Nov. 2008 - Nov. 2008

    Dozent

    VHS Lambrecht

    EDV - Powerpoint, Excel - Grundkurs, EDV - Grundkurs

  • 10 Monate, Feb. 2008 - Nov. 2008

    Programmierer

    KLUMAX Internet GmbH

    Programmierung und Projektentwicklung/-betreuung. Webdesign und Implementierung kundenspezifischer Anpassungen und Erweiterungen des unternehmenseigenen CMS.

Ausbildung von Maximilian Senftleben

  • 6 Jahre und 3 Monate, Apr. 2013 - Juni 2019

    Fachbereich Informatik

    Technische Universität Kaiserslautern

    "Modelling Memory Consistency Models for Formal Verification" - Modellierung von Speicherkonsistenzmodelle zum Zwecke der formalen Verifikation

  • 2 Jahre, Apr. 2011 - März 2013

    Informatik

    Technische Universität Kaiserslautern

    Eingebettete Systeme, Prozessorarchitektur, Verifikation, Mikroelektronik

  • 3 Jahre, Apr. 2008 - März 2011

    Informatik

    Technische Universität Kaiserslautern

    Eingebettete Systeme, Elektrotechnik

Sprachen

  • Deutsch

    Muttersprache

  • Englisch

    Fließend

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