Dr. Christian Hensel
Suchst Du einen anderen Christian Hensel?
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Christian Hensel
- 1 Jahr, Jan. 2019 - Dez. 2019
Research Scientist und Software Developer
DeepL GmbH
- 7 Jahre und 1 Monat, Dez. 2011 - Dez. 2018
Wissenschaftlicher Mitarbeiter und Doktorand
RWTH Aachen University
Leitender Entwickler des Verifikations-Tools Storm (http://www.stormchecker.org/), Forschung im Bereich der automatischen Analyse quantitativer Systeme, Betreuung zahlreicher Vorlesungen, Seminare, Praktika, Bachelor- und Masterarbeiten
- 4 Jahre und 2 Monate, Okt. 2007 - Nov. 2011
Studentische Hilfskraft
RWTH Aachen University
Entwickler für das COMPASS-Projekt (http://www.compass-toolset.org/) Entwickler für das [mc]square-Projekt, später umbenannt in Arcade (https://arcade.embedded.rwth-aachen.de/) Tutor für Vorlesung "Programmierung"
- 2 Monate, Okt. 2010 - Nov. 2010
Forscher
University of Oxford
Entwickler beim prämierten Verifikations-Tool PRISM (http://www.prismmodelchecker.org/)
Ausbildung von Christian Hensel
- 5 Jahre und 8 Monate, Apr. 2006 - Nov. 2011
Informatik
RWTH Aachen University
Software-Modellierung und Verifikation, Automatisierungstechnik
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
Französisch
Grundlagen
Spanisch
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.