Basic

Dr. Nils Müllner

Angestellt, Wissenschaftlicher Mitarbeiter, Deutsches Zentrum für Luft- und Raumfahrt e.V.

Braunschweig, Deutschland

Skills

Analyse
Distributed Systems
Testing
Methoden
Modeling
Echtzeit
(Functional) Safety
Critical Systems Engineering
Automotive
Power grids
Verification and validation
Software Engineering
Erlang
Matlab
Java
Automation
Fault trees
Simulation
Validation
Entwicklung von Algorithmen
Requirements Engineering
Software Testing
Projekt
Englische Sprache

Timeline

Professional experience for Nils Müllner

  • Current , since Nov 2019

    Wissenschaftlicher Mitarbeiter

    Deutsches Zentrum für Luft- und Raumfahrt e.V.

    Projects: -VVM: Developing a methodological approach for the safety proof of highly autonomous vehicles (SAE-Level 4/5) for the homologation in an urban environment -SetLevel4to5: Simulative development and testing of level 4 and 5 systems

  • 4 years, Nov 2015 - Oct 2019

    Assistant Professor

    Mälardalen University

    I work at the TOCSYC project (www.tocsyc.se) and on the SafeCOP project (www.safecop.eu). Furthermore I teach Databases and Project Embedded Systems.

  • 2 years and 3 months, Aug 2013 - Oct 2015

    Postdoctoral Researcher

    Universität Oldenburg

    In the project Critical Systems Engineering I worked with Prof. Dr. Martin Fränzle and PD Dr. Sibylle Fröschle on determining the safety impact of security. We employed formal methods and simulation to evaluate and quantify safety goals probabilistically under various security settings.

  • 6 years and 11 months, Apr 2007 - Feb 2014

    PhD student

    Universität Oldenburg

    My PhD thesis discusses fault tolerance in distributed systems. It contributes to the state of the art by providing a sound terminology and taxonomy. Furthermore, it exploits popular methods from model checking and further extends them for structured systems. I submitted my thesis in september 2013 and am waiting for my defense.

  • 3 years, Apr 2008 - Mar 2011

    stipendiary

    Universität Oldenburg

  • 1 year, Apr 2007 - Mar 2008

    scientific co-worker

    Universität Oldenburg

    I developed novel methods in the context of autonomous verification and analysis of complex systems. I worked in sub-project H4 and S3.

Educational background for Nils Müllner

  • 3 years and 1 month, Apr 2008 - Apr 2011

    Informatik

    Universität Oldenburg

Languages

  • German

    First language

  • English

    Fluent

  • Spanish

    Basic

  • Swedish

    Intermediate

  • Latein

    -

Wants

just found a new position...

Interests

Klavier
Gitarre
Schwimmen
Fußball
Löten
Programmieren

Browse over 18 million XING members