Sort by
Refine Your Search
-
Deadline: 30 June 2025 A fully funded four-year PhD position is available to work on the project titled “Real-world quantum verification and benchmarking of noisy hardware”. This position is a
-
. Our approach enhances T2 (Interconnected QC systems) through verification methods for connected networks, supports T1 (Integrated quantum demonstrators) via hardware-agnostic metrics, and enables T3
-
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 testbed available to users for testing hardware and applications. NPL will lead on the testing and security evaluation of the testbed and collaborate widely on the technology development. The student’s
-
Everyone is talking about artificial intelligence. But who is developing the necessary chips? We are, for example! Would you like to help drive the development of a new highly efficient AI hardware
-
Everyone is talking about artificial intelligence. But who is developing the necessary chips? We are, for example! Would you like to help drive the development of a new highly efficient AI hardware
-
this testbed available to users for testing hardware and applications. NPL will lead on the testing and security evaluation of the testbed and collaborate widely on the technology development. The student’s
-
verification and formal verification. runtime analysis and reconfiguration of in-vehicle TSN networks. Co-supervise students. Optionally contribute to teaching. Required qualifications: Hardware design in a
-
construction against those changes. Evolving Systems: We investigate novel construction and verification techniques that adapt to offline changes in the specification, the hardware, or the implementation