Offer summary
Qualifications:
PhD in Systems Engineering/Computer Science, Expertise in various fault tree and event trees analysis, Markov models, formal methods, Quantitative Risk Assessment, Model-Driven Engineering, UML, SysML, EMF, BPMN, C, C++, Java, Python.Key responsabilities:
- Model dynamic systems & analyze performance
- Support research projects & tech adoption
- Prepare research summaries & articles
- Guide interns & engineers
- Conduct analysis & document creation