Dr. Oleg Travkin
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Oleg Travkin
- 2 Jahre und 3 Monate, Jan. 2018 - März 2020
Software Developer & Data Scientist
pmOne Analytics GmbH
Forschung im Bereich nebenläufiger Datenstrukturen (z.B. Treiber Stack oder STMs) und deren Verifikation (formale Beweise und Model Checking) unter Einfluss schwacher Speichermodelle (Semantik heutiger Mehrkernprozessoren). Publizieren von Forschungsergebnissen (siehe http://dblp.uni-trier.de/pers/hd/t/Travkin:Oleg). Entwurf und Implementierung meines Forschungsansatzes als Eclipse-Integration. Betreung wissenschaftlicher Arbeiten, Organisation von Lehrveranstaltungen, Leitung studentischer Hilfskräfte
Entwicklung und Implementierung in verschiedenen Projekten der Fachgruppe Softwaretechnik von Prof. Wilhelm Schäfer. Zu den bekanntesten Tools, an denen ich mitgewirkt habe, gehören Fujaba, Mechatronic UML, Reclipse und Archimetrix. Sie zeichnen durch einen Modellgetriebenen Ansatz beim Entwurf und dem Reverse Engineering von Software aus. Zu den wichtigsten Tätigkeiten zählten die Entwicklung von Parsern, Modell-zu-Modell-, sowie Modell-zu-Text-Transformationen, aber auch der Entwurf der Modelle selbst.
Entwicklung eines Konfigurations-Tools (als Eclipse-RCP) für das automatisierte Testen der MISRA-Metriken mit Hilfe von QA-C
Ausbildung von Oleg Travkin
- 6 Jahre und 3 Monate, Okt. 2011 - Dez. 2017
Informatik
Universität Paderborn
Titel der Dissertation: Verifying Concurrent Programs under Weak Memory Models
- 2 Jahre und 11 Monate, Aug. 2008 - Juni 2011
Informatik
Universität Paderborn
Vertiefungsgebiet: Softwaretechnik
- 3 Jahre und 11 Monate, Okt. 2004 - Aug. 2008
Informatik
Universität Paderborn
Nebenfach Physik
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
Russisch
Grundlagen
Französisch
Grundlagen
XING Mitglieder mit ähnlichen Profilangaben
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.