Dr. Sergey Tverdyshev

Angestellt, Director, Chief Architect, NIO
Munich, Germany

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

  • Current 2 years and 9 months, since Oct 2023

    Director, Chief Architect

    NIO
  • 3 years and 6 months, Apr 2020 - Sep 2023

    Director / Chief Architect Intelligent Automotive OS

    Huawei Technologies

  • 6 months, Oct 2019 - Mar 2020

    Director R&T

    SYSGO GmbH
  • 5 years and 1 month, Oct 2014 - Oct 2019

    Director R&T

    SYSGO AG

  • 3 years and 7 months, Apr 2011 - Oct 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 year and 4 months, Dec 2009 - Mar 2011

    Project engineer

    SYSGO AG

  • 2 years and 6 months, Jul 2007 - Dec 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 years and 1 month, Jul 2003 - Jul 2007

    Researcher

    Saarland University

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

Ausbildung von Sergey Tverdyshev

  • 1 year and 7 months, Oct 2018 - Apr 2020

    Executive MBA (EMBA)

    ESSEC Business School

  • 1 year and 7 months, Oct 2018 - Apr 2020

    Executive MBA (EMBA)

    Mannheim Business School

  • 5 years and 5 months, Jan 2004 - May 2009

    Computer Science

    Saarland University

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

  • 2 years and 2 months, Nov 2001 - Dec 2003

    Computer Science

    Saarland University

    Formal Verification

  • 4 years and 10 months, Sep 1997 - Jun 2002

    Automatic Control Systems

    Khabarovsk State University of Technology

Sprachen

  • English

    C1 (Fließend)

  • German

    C1 (Fließend)

  • Russian

    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