Dr. Christian Hensel
Suchst Du einen anderen Christian Hensel?
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Christian Hensel
- 1 year, Jan 2019 - Dec 2019
Research Scientist und Software Developer
DeepL GmbH
- 7 years and 1 month, Dec 2011 - Dec 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 years and 2 months, Oct 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 months, Oct 2010 - Nov 2010
Forscher
University of Oxford
Entwickler beim prämierten Verifikations-Tool PRISM (http://www.prismmodelchecker.org/)
Ausbildung von Christian Hensel
- 5 years and 8 months, Apr 2006 - Nov 2011
Informatik
RWTH Aachen University
Software-Modellierung und Verifikation, Automatisierungstechnik
Sprachen
German
C2 (Verhandlungssicher / Muttersprachlich)
English
C1 (Fließend)
French
A1-A2 (Grundkenntnisse)
Spanish
A1-A2 (Grundkenntnisse)
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.
21 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.