Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- National Research Council Canada
- BI Norwegian Business School
- REQUIMTE - Rede de Quimica e Tecnologia
- Cranfield University
- ; The University of Edinburgh
- DAAD
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- National Renewable Energy Laboratory NREL
- RPTU University of Kaiserslautern-Landau •
- The University of Edinburgh
- ; Loughborough University
- ; Swansea University
- ; University of Bristol
- CNRS
- Chalmers University of Technology
- Colorado State University
- Conservatorio di Musica "Santa Cecilia"
- Forschungszentrum Jülich
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Instituto Superior de Economia e Gestão
- Instituto de Telecomunicações
- KU LEUVEN
- Leibniz
- Ludwig-Maximilians-Universität München •
- Nature Careers
- Ryerson University
- Technical University of Denmark
- Texas A&M University
- University of Alaska
- University of Beira Interior
- University of Cambridge;
- University of Greenwich
- University of Liverpool
- University of Southern Denmark
- University of Warwick;
- 28 more »
- « less
-
Field
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 28 days ago
complex codebase (millions of lines of code, mostly in C) which makes formal verification of its components a significant challenge. Device drivers, in particular, are often developed by third parties
-
. This can be a copy of your Master’s thesis or other relevant research work. Certificates, test results, and verification document • Certificate of a Master of Science degree or equivalent, including
-
verification of resilient state estimators for the eVTOL and HESS. Essential and Desirable Criteria - Background: control/mechanical/electrical engineering, physics or computer science - Essential knowledge
-
verification document Certificate of a Master of Science degree or equivalent, including transcript of grades. Certificate of a Bachelor degree or equivalent, including transcript of grades. A Diploma supplement
-
verification methodology and corresponding toolchain to detect and mitigate such threats to CPS at the design time making the CPS resilient-by-design. Typically, CPS are modelled as hybrid systems, comprising
-
thesis; Curriculum vitae detailed and structured pursuant to sections 9 and 11. *- The administrative verification of the recognition of the degrees obtained abroad will be fulfilled for the purpose
-
into areas such as AI-driven verification, predictive maintenance, and compliance assurance, aiming to enhance system reliability and safety. Situated within the esteemed IVHM Centre and supported by
-
to understand how to learn models that are useful for upstream planning, scheduling, and verification tasks, and how to deal with their uncertainty. Second, we aim to understand how to effectively incorporate
-
applications, our group works on two main research objectives. First, we aim to understand how to learn models that are useful for upstream planning, scheduling, and verification tasks, and how to deal with
-
, can be waived at the application stage, being replaced by a declaration of honor from the applicant, with verification of this condition occurring only at the fellowship contract stage