Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Binghamton University
- Delft University of Technology (TU Delft)
- Linköping University
- National Renewable Energy Laboratory NREL
- Newcastle University
- AALTO UNIVERSITY
- Cranfield University
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Oak Ridge National Laboratory
- REQUIMTE - Rede de Quimica e Tecnologia
- Texas A&M AgriLife
- The University of Manchester
- University of Bergen
- University of Washington
- Uppsala universitet
- cellumation GmbH
- 10 more »
- « less
-
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
-
, software-defined material flow platform that is transforming intralogistics. Our patented technology replaces rigid conveyor systems with intelligent hexagonal cells equipped with omnidirectional wheels
-
Effectiveness, Multitasking, New Software, Oral Communications, Organizing, Patient Information, Teamwork, Time Management, Visual Perception, Working Independently Grade C06-H Questions For frequently asked
-
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
-
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
-
are developed for areas such as verification, intrusion detection, and AI-based cybersecurity. The research also encompasses the protection of critical infrastructure, including smart grids and secure software
-
well as understanding experience in independent project work as well as the ability to work in a team. For this position, it is required that you have strong programming skills and interest in software security. Meriting
-
and verification. You will translate new architectural concepts into integrated circuit implementations and evaluate their performance through measurements on fabricated silicon chips. You will
-
will also design and develop new software and prototype models. Research areas: Computer science, Simulation-based automated synthesis and verification of human physiology models, Artificial intelligence