Dr. Sergey Tverdyshev

Angestellt, Director / Chief Architect Intelligent Automotive OS, Huawei Technologies
Munich, Deutschland

Fähigkeiten und Kenntnisse

Expertise in
Requirements Management
Functional Safety Management
Embedded Systems
Software Design
Software Verification
Operating system Verification
Firmware Design
CPU/FPU Design
CPU/FPU Verification
Certification - Common Criteria.
Forschung und Entwicklung
Informatik
Hardware

Werdegang

Berufserfahrung von Sergey Tverdyshev

  • Bis heute 5 Jahre und 4 Monate, seit Apr. 2020

    Director / Chief Architect Intelligent Automotive OS

    Huawei Technologies

  • 6 Monate, Okt. 2019 - März 2020

    Director R&T

    SYSGO GmbH
  • 5 Jahre und 1 Monat, Okt. 2014 - Okt. 2019

    Director R&T

    SYSGO AG

  • 3 Jahre und 7 Monate, Apr. 2011 - Okt. 2014

    Head of R&D Department

    SYSGO AG

    project acquisition, project management, transfer of research results, exploitation, security and safety certification, embedded systems, cross-domain safety and security, development and application of operating systems/hypervisors, Business development in Russia.

  • 1 Jahr und 4 Monate, Dez. 2009 - März 2011

    Project engineer

    SYSGO AG

  • 2 Jahre und 6 Monate, Juli 2007 - Dez. 2009

    Researcher

    Saarland University

    Creating formal specifications for Microsoft Windows Hypervisor (Hyper-V core) and verifying the C-code implementation against them (in corporation with Microsoft Research).

  • 4 Jahre und 1 Monat, Juli 2003 - Juli 2007

    Researcher

    Saarland University

    Verification of hardware (processors), System integration (hardware and devices), Development of verification tools.

Ausbildung von Sergey Tverdyshev

  • 1 Jahr und 7 Monate, Okt. 2018 - Apr. 2020

    Executive MBA (EMBA)

    ESSEC Business School

  • 1 Jahr und 7 Monate, Okt. 2018 - Apr. 2020

    Executive MBA (EMBA)

    Mannheim Business School

  • 5 Jahre und 5 Monate, Jan. 2004 - Mai 2009

    Computer Science

    Saarland University

    Formal Verification of Hardware and System Software. Tools for Formal Verification.

  • 2 Jahre und 2 Monate, Nov. 2001 - Dez. 2003

    Computer Science

    Saarland University

    Formal Verification

  • 4 Jahre und 10 Monate, Sep. 1997 - Juni 2002

    Automatic Control Systems

    Khabarovsk State University of Technology

Sprachen

  • Englisch

    Fließend

  • Deutsch

    Fließend

  • Russisch

    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.

  • 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