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

Fähigkeiten und Kenntnisse

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

Werdegang

Berufserfahrung von Alexander Weinert

  • Current 5 years and 11 months, since Jul 2020

    Gruppenleiter Verteilte Softwaresysteme

    Deutsches Zentrum für Luft- und Raumfahrt e.V.
  • 1 year and 9 months, Oct 2018 - Jun 2020

    Wissenschaftlicher Mitarbeiter

    Deutsches Zentrum für Luft- und Raumfahrt e.V.
  • 3 years and 1 month, Sep 2015 - Sep 2018

    Wissenschaftlicher Mitarbeiter

    Universität des Saarlandes
  • 1 year and 6 months, Aug 2013 - Jan 2015

    Wissenschaftliche Hilfskraft

    RWTH Aachen University

  • 4 months, Apr 2013 - Jul 2013

    Studentischer Tutor

    RWTH Aachen University

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

  • 2 months, Aug 2012 - Sep 2012

    Forschungspraktikant

    Max-Planck-Institut für Softwaresysteme

  • 4 months, Apr 2012 - Jul 2012

    Studentischer Tutor

    RWTH Aachen University

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

  • 1 year and 8 months, Aug 2010 - Mar 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 months, Sep 2008 - Apr 2009

    Softwareentwickler

    Leopold Kostal GmbH & Co. KG, Lüdenscheid

Ausbildung von Alexander Weinert

  • 3 years and 1 month, Oct 2015 - Oct 2018

    Informatik

    Universität des Saarlandes

    Reaktive Programmsynthese, algorithmische Spieltheorie

  • 5 months, Jan 2014 - May 2014

    Informatik

    University of California, Berkeley

    Compilerbau, Programmsemantik, Formale Methoden in der Ingenieursausbildung

  • 2 years and 11 months, Oct 2012 - Aug 2015

    Informatik

    RWTH Aachen University

    Theoretische Informatik, Spieltheorie, Programmanalyse und -verifikation

  • 3 years, Oct 2009 - Sep 2012

    Informatik

    RWTH Aachen University

Sprachen

  • German

    C2 (Verhandlungssicher / Muttersprachlich)

  • English

    C1 (Fließend)

  • French

    A1-A2 (Grundkenntnisse)

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