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 13 Jahre und 10 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 Mitglieder mit ähnlichen Profilangaben

Fabian Heymann

Candidate Consultant

Düsseldorf

Stefan Heindl

DMS Consultant, IT Consultant, PreSales Consultant, System Engineer

Nürnberg

Adriana Stein

Digital Marketing | SEO Consultant | DE/EN Content Marketing Strategist

Hamburg

Michael Kreuser

Senior SAP Berater Consultant SD MM Sales Sourcing & Procurement

Remote

Kevin Helmes

Global Industry Technical Consultant

Kleve

Darijo Višević

Geschäftsführer und Berater

Köln

Timo Povolotski

Consultant | Fachleiter Digitalisierungsprozesse in der bAV

Mülheim (Ruhr)

Omar El Hajami

Business Processes Consultant

Madrid

Judi(Jutta) PhD Malzacher

IPC Consultant -Interpersonal Culture Consultant

Heidelberg

Nici Herz

Recruitment Consultant PHP

München

Katja Bosshammer

consultant | designer | developer | contemporary artist | creative mind

Köln

Andreas Marx

Geschäftsführer

Gwatt

Artur Schmalz

Digital Marketing Consultant/ Marketing-Transformation & Automation

Köln

Anna Raczyńska

Business fashion consultant

Europe

Susanne Fleckenstein

Consultant Logistik

Wangen i. Allgäu

Andreas Rückenbaum

Vertrieb Safety Services, Projektleiter, Safety Consultant, CE-Koordinator

Leinfelden-Echterdingen

Sarah Lenßen

Principal Consultant

Düsseldorf

Jean-Pierre Damen

Senior Cloudarchitect and DevOps Consultant

Berlin

Elena Gehring

Consultant

Nürtingen

Laura Roberz

Freelance Recruitment Consultant | Karriereberaterin

Köln

21 Mio. XING Mitglieder, von A bis Z

Nachname:

ABCDEFGHIJKLMNOP
QRSTUVWXYZ