Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- NTNU - Norwegian University of Science and Technology
- Newcastle University
- Uppsala universitet
- Cranfield University
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- Karolinska Institutet, doctoral positions
- NTNU Norwegian University of Science and Technology
- The University of Manchester
-
Field
-
insights and software artifacts advancing the state of the art in quantum program verification. Duties The doctoral student will primarily devote their time to doctoral education. Other departmental duties
-
PhD studentship in Computer Science: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification Award Summary 100% fees covered, and
-
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
-
on software for safety-critical functions like life support, monitoring, and decision-making. They must comply with strict regulations (e.g., IEC 62304, ISO14971) that require trial-based safety assessments
-
transition that not only enhances the productivity of engineering teams but also expands the complexity of solvable design problems. We have two exciting PhD positions at the intersection of formal software
-
, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment. Project description The available PhD positions
-
electrical failures in the rotor have been detected. A detector system with signal processing software is under development and testing. The research is at the international forefront. In the continued
-
) and multiaxial regimes (tension–compression–torsion; axial–axial cruciform in-phase and anti-phase), using modal and dynamic analyses through finite element software, and experimental frequency analyses
-
obtained and documented before starting the position, and no later than autumn 2026. You must have strong modelling and programing skills in software such as Matlab/Simulink, PSCAD, OPAL-RT, etc., relevant
-
structured pursuant to sections 9 and 11. *- The administrative verification of the recognition of the degrees obtained abroad will be fulfilled for the purpose of contracting, in case of approval