Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Binghamton University
- Delft University of Technology (TU Delft)
- Linköping University
- NTNU - Norwegian University of Science and Technology
- National Renewable Energy Laboratory NREL
- Newcastle University
- Cranfield University
- Instituto de Telecomunicações
- Mid Sweden University
- NTNU Norwegian University of Science and Technology
- Oak Ridge National Laboratory
- Texas A&M AgriLife
- The University of Manchester
- Universidade de Vigo
- University of Bergen
- University of Washington
- Uppsala universitet
- cellumation GmbH
- 8 more »
- « less
-
Field
-
Software defines a critical part of our society’s digitalization. Within the Software Engineering and Education (SEE) research group, we expand the research front on processes, methods, and tools
-
measurements based on embedded systems. Assembly and verification of optical communication systems. Planning and management of LMR experimental activity (internal/external assignments). Where to apply Website
-
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
-
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
-
, software-defined material flow platform that is transforming intralogistics. Our patented technology replaces rigid conveyor systems with intelligent hexagonal cells equipped with omnidirectional wheels
-
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
-
Effectiveness, Multitasking, New Software, Oral Communications, Organizing, Patient Information, Teamwork, Time Management, Visual Perception, Working Independently Grade C06-H Questions For frequently asked
-
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
-
research focuses are considered: verification pathways in RLMPC, risk management with RLMPC, sample efficiency and optimized exploration, latent state and belief state embedding in RLMPC. Are you motivated