Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- BI Norwegian Business School
- National Research Council Canada
- REQUIMTE - Rede de Quimica e Tecnologia
- Tallinn University of Technology
- Forschungszentrum Jülich
- ; The University of Edinburgh
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Fraunhofer-Gesellschaft
- National Renewable Energy Laboratory NREL
- RPTU University of Kaiserslautern-Landau •
- The University of Edinburgh
- University of A Coruña
- University of Groningen
- CNRS
- Chalmers University of Technology
- Conservatorio di Musica "Santa Cecilia"
- Cranfield University
- DAAD
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Instituto Politécnico de Bragança
- Instituto Superior de Economia e Gestão
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- KU LEUVEN
- Karolinska Institutet, doctoral positions
- Leibniz
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- National University of Science and Technology POLITEHNICA Bucharest
- Norwegian University of Life Sciences (NMBU)
- Texas A&M AgriLife
- University of Amsterdam (UvA)
- University of Beira Interior
- University of Cambridge
- University of Cambridge;
- University of Greenwich
- University of Groningen; 26 Sep ’25 published
- University of Porto
- University of Primorska
- University of Southern Denmark
- University of Warwick
- University of Warwick;
- Warsaw University of Technology - Centre for Credible AI
- 36 more »
- « less
-
Field
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 2 months 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
-
for an academic degree or diploma may be waived at the application stage, being replaced by a declaration of honor from the candidate, and it is compulsory to verification of this condition at the grant contracting
-
, automotive networking Simulations, verifications and validations of autonomous vehicles Human-machine interfaces and interactions Self-driving shuttle bus deployment and experimentation Additional information
-
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
-
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
-
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
-
. 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
-
to the course English B/English 6 at Swedish upper secondary school. Follow the instructions on the web page English language requirements for doctoral education. Verification of your documents Karolinska
-
RPTU University of Kaiserslautern-Landau • | Kaiserslautern, Rheinland Pfalz | Germany | about 22 hours ago
(RPTU Landau) (single payment for verification of foreign certificates) Recommended: German Language & Orientation Course for International Students: 800 EUR Costs of living Monthly cost of living: approx
-
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