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, Germany

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
DevOps
CI/CD
Backend

Werdegang

Berufserfahrung von Maximilian Senftleben

  • Current 6 years and 3 months, since Mar 2020

    Softwareentwickler Embedded

    frogblue TECHNOLOGY GmbH

  • 8 years and 8 months, May 2011 - Dec 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 years and 5 months, Jan 2009 - May 2014

    PHP-Programmierer

    Euro Modul S.á r.l.

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

  • 1 month, May 2009 - May 2009

    Dozent

    VHS Lambrecht (Pfalz)

    EDV Grundkurs für Senioren

  • 1 month, Nov 2008 - Nov 2008

    Dozent

    VHS Lambrecht

    EDV - Powerpoint, Excel - Grundkurs, EDV - Grundkurs

  • 10 months, 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 years and 3 months, Apr 2013 - Jun 2019

    Fachbereich Informatik

    Technische Universität Kaiserslautern

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

  • 2 years, Apr 2011 - Mar 2013

    Informatik

    Technische Universität Kaiserslautern

    Eingebettete Systeme, Prozessorarchitektur, Verifikation, Mikroelektronik

  • 3 years, Apr 2008 - Mar 2011

    Informatik

    Technische Universität Kaiserslautern

    Eingebettete Systeme, Elektrotechnik

Sprachen

  • German

    C2 (Verhandlungssicher / Muttersprachlich)

  • English

    C1 (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.

  • 21 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