Dr. Björn Wachter
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Björn Wachter
- 5 Jahre, Juli 2010 - Juni 2015
Postdoc
University of Oxford
Research: - Quantitative analysis of security and anonymity properties - Run time analysis and trace verification for embedded real-time systems in the automotive domain, Software development: - C++ (Boost, STL) - Ocaml
- 5 Jahre und 5 Monate, März 2005 - Juli 2010
wissenschaftlicher Mitarbeiter
Fachbereich Informatik, Universität des Saarlandes
Research: - Reliability of network protocols by quantitative analysis - Timeliness guarantees for real-time systems Software development - C++ Presentations: - talks at international conferences in Princeton, Madrid, Edinburgh, ... Teaching assistant - Compiler construction Promotion, Forschung im Bereich Verifikation von Embedded Systems
Praktikant
IDS Scheer
Entwicklungsprozess RUP (Rational Unified Process)
Ausbildung von Björn Wachter
- 5 Jahre und 5 Monate, März 2005 - Juli 2010
Informatik
Universität des Saarlandes
formal verfication embedded systems real-time systems
- 4 Jahre und 6 Monate, Okt. 2000 - März 2005
Informatik
Universität des Saarlandes
Programmiersprachen Compilerbau Verifikation Algebra Funktionentheorie Zahlentheorie
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
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.