Dr. Nils Jansen
Angestellt, Full Professor of Artificial Intelligence and Formal Methods, Ruhr-Universität Bochum
Abschluss: PhD, RWTH Aachen University
Bochum, Deutschland
Werdegang
Berufserfahrung von Nils Jansen
Bis heute 7 Monate, seit Nov. 2023
Full Professor of Artificial Intelligence and Formal Methods
Ruhr-Universität BochumBis heute 2 Jahre, seit Juni 2022
Associate Professor
Radboud University Nijmegen
5 Jahre und 1 Monat, Juni 2017 - Juni 2022
Assistant Professor
Radboud University Nijmegen
5 Monate, Jan. 2017 - Mai 2017
Research Associate
University of Texas at Austin
11 Monate, Feb. 2016 - Dez. 2016
Postdoctoral Fellow
University of Texas at Austin
6 Jahre, Apr. 2009 - März 2015
Research Assistant
RWTH Aachen
2007 - 2009
Student Assistant
RWTH Aachen
teaching assistance in different lectures regarding formal methods, game theory and automata theory
2005 - 2007
Student Assistant
RWTH Aachen
student assistant as JAVA developer
Ausbildung von Nils Jansen
6 Jahre, Apr. 2009 - März 2015
Computer Science
RWTH Aachen University
Formal Verification
6 Jahre und 7 Monate, Sep. 2002 - März 2009
Computer Science
RWTH Aachen
Sprachen
Englisch
Fließend
Deutsch
Muttersprache