Navigation überspringen

Dr. Alexander Weinert

Angestellt, Gruppenleiter Verteilte Softwaresysteme, Deutsches Zentrum für Luft- und Raumfahrt e.V.
Abschluss: Dr. rer. nat., Universität des Saarlandes
Köln, Deutschland

Fähigkeiten und Kenntnisse

Java-Entwicklung
Formale Methoden
Spieltheorie
Programmanalyse
Softwareverifikation
Git
Teamleitung
Softwareentwicklung
Continuous Integration
GitLab
Teamentwicklung

Werdegang

Berufserfahrung von Alexander Weinert

  • Bis heute 4 Jahre und 11 Monate, seit Juli 2020

    Gruppenleiter Verteilte Softwaresysteme

    Deutsches Zentrum für Luft- und Raumfahrt e.V.
  • 1 Jahr und 9 Monate, Okt. 2018 - Juni 2020

    Wissenschaftlicher Mitarbeiter

    Deutsches Zentrum für Luft- und Raumfahrt e.V.
  • 3 Jahre und 1 Monat, Sep. 2015 - Sep. 2018

    Wissenschaftlicher Mitarbeiter

    Universität des Saarlandes
  • 1 Jahr und 6 Monate, Aug. 2013 - Jan. 2015

    Wissenschaftliche Hilfskraft

    RWTH Aachen University

  • 4 Monate, Apr. 2013 - Juli 2013

    Studentischer Tutor

    RWTH Aachen University

    Betreuung einer Übungsgruppe von ca. 30 Studenten für Vorlesung zur Einführung in Automatentheorie.

  • 2 Monate, Aug. 2012 - Sep. 2012

    Forschungspraktikant

    Max-Planck-Institut für Softwaresysteme

  • 4 Monate, Apr. 2012 - Juli 2012

    Studentischer Tutor

    RWTH Aachen University

    Betreuung einer Übungsgruppe von ca. 30 Studenten für Vorlesung zur Einführung in Automatentheorie.

  • 1 Jahr und 8 Monate, Aug. 2010 - März 2012

    Wissenschaftliche Hilfskraft

    RWTH Aachen University

    Design und Implementierung des Instrumentierungsframeworks InstRO. Verfügbar unter http://www.sc.informatik.tu-darmstadt.de/res/sw/instro_main/index.de.jsp

  • 8 Monate, Sep. 2008 - Apr. 2009

    Softwareentwickler

    Leopold Kostal GmbH & Co. KG, Lüdenscheid

Ausbildung von Alexander Weinert

  • 3 Jahre und 1 Monat, Okt. 2015 - Okt. 2018

    Informatik

    Universität des Saarlandes

    Reaktive Programmsynthese, algorithmische Spieltheorie

  • 5 Monate, Jan. 2014 - Mai 2014

    Informatik

    University of California, Berkeley

    Compilerbau, Programmsemantik, Formale Methoden in der Ingenieursausbildung

  • 2 Jahre und 11 Monate, Okt. 2012 - Aug. 2015

    Informatik

    RWTH Aachen University

    Theoretische Informatik, Spieltheorie, Programmanalyse und -verifikation

  • 3 Jahre, Okt. 2009 - Sep. 2012

    Informatik

    RWTH Aachen University

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