Dr. Stefan Berghofer

Angestellt, Consultant, secunet Security Networks AG
Dresden, Germany

Fähigkeiten und Kenntnisse

More than 10 years of experience in formal verific
good knowledge of SPARK Ada

Werdegang

Berufserfahrung von Stefan Berghofer

  • Current 15 years and 9 months, since Sep 2010

    Consultant

    secunet Security Networks AG
  • 11 years and 4 months, May 1999 - Aug 2010

    Research assistant

    Institut für Informatik, Technische Universität München

Ausbildung von Stefan Berghofer

  • 4 years and 6 months, May 1999 - Oct 2003

    Computer Science

    Technische Universität München

    verification, program synthesis

  • 4 years and 7 months, Oct 1994 - Apr 1999

    Computer Science

    Technische Universität München

    theoretical computer science

Sprachen

  • English

    C1 (Fließend)

  • German

    C2 (Verhandlungssicher / Muttersprachlich)

  • French

    B1-B2 (Gute Kenntnisse)

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