Dr. Stefan Berghofer

Angestellt, Consultant, secunet Security Networks AG
Dresden, Deutschland

Fähigkeiten und Kenntnisse

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

Werdegang

Berufserfahrung von Stefan Berghofer

  • Bis heute 15 Jahre und 2 Monate, seit Sep. 2010

    Consultant

    secunet Security Networks AG
  • 11 Jahre und 4 Monate, Mai 1999 - Aug. 2010

    Research assistant

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

Ausbildung von Stefan Berghofer

  • 4 Jahre und 6 Monate, Mai 1999 - Okt. 2003

    Computer Science

    Technische Universität München

    verification, program synthesis

  • 4 Jahre und 7 Monate, Okt. 1994 - Apr. 1999

    Computer Science

    Technische Universität München

    theoretical computer science

Sprachen

  • Englisch

    Fließend

  • Deutsch

    Muttersprache

  • Französisch

    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.

  • 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