Prof. Dr. Stefan Milius

Beamtet, Senior Lecturer (Akademischer Oberrat), FAU Erlangen-Nürnberg
Erlangen, Germany

Fähigkeiten und Kenntnisse

expertise in theoretical computer sciene
category theory in the semantics of computation
model-driven software design and formal methods
model checking
design of safety critical software (EN50128)
e-publishing in theoretical computer science

Werdegang

Berufserfahrung von Stefan Milius

  • Current 13 years and 6 months, since Dec 2012

    Senior Lecturer (Akademischer Oberrat)

    FAU Erlangen-Nürnberg

    Forschung und Lehre in Theoretischer Informatik

  • 4 years and 5 months, Aug 2008 - Dec 2012

    Lecturer (Akademischer Rat)

    TU Braunschweig

    Forschung und Lehre in Theoretischer Informatik

  • 1 year and 7 months, Jan 2007 - Jul 2008

    Mitarbeiter der Software Initiative

    Siemens AG Mobility

    Einführung Modell-basierter Methoden in der Softwareentwicklung

  • 6 years and 4 months, Sep 2000 - Dec 2006

    Wissenschaftlicher Mitarbeiter

    TU Braunschweig

    Forschung und Lehre im Bereich Theoretische Informatik

Ausbildung von Stefan Milius

  • 5 years and 5 months, Aug 2007 - Dec 2012

    Informatik

    TU Braunschweig

    Coalgebras and the Axioms of Iteration

  • 5 years and 2 months, Sep 2000 - Oct 2005

    Theoretische Informatik

    TU Braunschweig

    Coalgebras, Monads and Semantics

  • 11 months, Sep 1999 - Jul 2000

    Pure Mathematics

    York University, Toronto, Canada

    Category Theory

  • 4 years and 11 months, Oct 1995 - Aug 2000

    Informatik

    TU Braunschweig

    Theoretische Informatik; Wissenschaftliches Rechnen; Rechnerstrukturen; Mathematische Optimierung

Sprachen

  • German

    C2 (Verhandlungssicher / Muttersprachlich)

  • English

    C1 (Fließend)

  • Spanish

    A1-A2 (Grundkenntnisse)

  • Russian

    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