Dr. Evgeny Erofeev
Werdegang
Berufserfahrung von Evgeny Erofeev
Department for Computing Science, Parallel Systems group. Project: System Correctness under Adverse Conditions (SCARE) Project: Algorithms for Synthesis and Pre-Synthesis Based on Petri Net Structure Theory (ASYST)
- 10 Monate, Mai 2013 - Feb. 2014
Research Assistant
A. P. Ershov Institute of Informatics Systems, SB Russian Academy of Sciences
Laboratory of Concurrent Processes Theory Project: Comparative Analysis and Verification for Correctness-Critical Systems (CAVER)
- 1 Jahr und 2 Monate, März 2012 - Apr. 2013
Software Developer (C++)
LEDAS Ltd.
Project: Russian Geometric Kernel (RGK): Development of the library for solid modeling and application in CAD/CAM/CAE-systems
Ausbildung von Evgeny Erofeev
- 4 Jahre und 2 Monate, März 2014 - Apr. 2018
Computer Science
Carl von Ossietzky Universität Oldenburg
Parallel Systems, Concurrency Theory Thesis: Characterisation of a Class of Petri Net Solvable Transition Systems
- 2 Jahre, Sep. 2011 - Aug. 2013
Mathematics and Computer Science
Novosibirsk State University
Mechanics and Mathematics Department, Chair for Computing Systems Thesis: Constructing of Lattices for Event Structures Models
- 3 Jahre und 11 Monate, Sep. 2007 - Juli 2011
Mathematics
Novosibirsk State University
Mechanics and Mathematics Department, Chair for Computing Systems Thesis: Constructing of Orthomodular Lattices for Concurrent Systems Models
Sprachen
Englisch
Fließend
Deutsch
Gut
Russisch
Muttersprache
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.