Vladimir Boyarinov
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Vladimir Boyarinov
- 8 Jahre und 6 Monate, Dez. 2010 - Mai 2019
Software Engineer
Amplitude Capital AG
Head developer for real-time market data delivery software. Disaster recovery team member. Designing and supporting backup and failover procedures and monitoring, participating in official disaster recovery tests. Backoffice developer: software for building internal and external reports, data imports and exports, internal monitoring and reporting tools for Operations, management information systems.
- 2 Jahre und 6 Monate, Nov. 2007 - Apr. 2010
Researcher
DFKI GmbH
Formal verification of Microsoft Hyper-V kernel (project at Microsoft Research). Designed and implemented a translator of MISRA C to a formal language for verification (compiler backend, C++, using theoretical foundation established in the own master thesis).
Ausbildung von Vladimir Boyarinov
- 4 Jahre und 7 Monate, Okt. 2003 - Apr. 2008
Computer Science
Universität des Saarlandes
programming languages and formal methods
Sprachen
Russisch
Muttersprache
Englisch
Fließend
Deutsch
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.