Sort by
Refine Your Search
-
Listed
-
Employer
- University of Lund
- SciLifeLab
- Swedish University of Agricultural Sciences
- Umeå University
- Chalmers University of Technology
- Linköping University
- Mälardalen University
- Nature Careers
- Blekinge Institute of Technology
- Linnaeus University
- Karlstad University
- Lulea University of Technology
- Örebro University
- KTH
- University of Borås
- ;
- Jönköping University
- 7 more »
- « less
-
Field
-
for smart port infrastructure. Key tasks include: Developing a multi-layer modeling architecture using AADL and Modelica/FMI. Designing resilience metrics and assessment methods for cyber-physical energy
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions