Dr. Oliver Möller

Angestellt, verification engineer, QA manager, Verified Systems Interntational GmbH
Bremen, Deutschland

Fähigkeiten und Kenntnisse

formal methods
real-time systems
safety-critical systems
software verification
norms and standards avionic/rail automation
quality management
advanced programming skills lex/yacc
C
Java
lisp
pascal
bash scripting

Werdegang

Berufserfahrung von Oliver Möller

  • Bis heute 22 Jahre und 11 Monate, seit Sep. 2002

    verification engineer, QA manager

    Verified Systems Interntational GmbH

    verification, validation, hard real-time systems, safety-critical systems, tool development, test automation, IT quality assurance, giving trainings

  • 2 Jahre und 5 Monate, Feb. 1999 - Juni 2001

    instructor

    BRICS institute, University of Aarhus

    instructor for undergrad (automata theory) and phd level course (verification)

  • 5 Monate, Okt. 1997 - Feb. 1998

    teaching assistant

    University of Ulm

    teaching assistant in department for artificial intelligence; formal verification of OCCAM (verifix project)

Ausbildung von Oliver Möller

  • 3 Jahre und 9 Monate, Juni 1998 - Feb. 2002

    computer science

    University of Aarhus, Denmark

    formal verification, real-time systems

  • 5 Jahre und 7 Monate, Sep. 1992 - März 1998

    computer science

    University of Ulm

    formal methods, theorem proving, decision procedures

Sprachen

  • Englisch

    Fließend

  • Deutsch

    Muttersprache

  • Dänisch

    Gut

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