Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- National Research Council Canada
- BI Norwegian Business School
- Cranfield University
- ; The University of Edinburgh
- DAAD
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- RPTU University of Kaiserslautern-Landau •
- The University of Edinburgh
- ; Loughborough University
- ; Swansea University
- ; University of Bristol
- Chalmers University of Technology
- Conservatorio di Musica "Santa Cecilia"
- Forschungszentrum Jülich
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Instituto Superior de Economia e Gestão
- Instituto de Telecomunicações
- KU LEUVEN
- Leibniz
- Ludwig-Maximilians-Universität München •
- Nature Careers
- Technical University of Denmark
- University of Alaska
- University of Greenwich
- University of Southern Denmark
- University of Warwick;
- 19 more »
- « less
-
Field
-
of the Hub. Our approach enhances T2 (Interconnected QC systems) through verification methods for connected networks, supports T1 (Integrated quantum demonstrators) via hardware-agnostic metrics, and enables
-
6 Sep 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Programming Computer science » Systems design Engineering » Control engineering Engineering » Systems engineering Researcher Profile First Stage Researcher...
-
Job description High-tech greenhouses play a crucial role in ensuring sustainable, affordable, and reliable local food production. The construction and operation of high-tech greenhouses is therefore expected to grow significantly over the next decade, but this increase is not matched by a...
-
Deadline: 30 September 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
-
of the Hub. Our approach enhances T2 (Interconnected QC systems) through verification methods for connected networks, supports T1 (Integrated quantum demonstrators) via hardware-agnostic metrics, and enables
-
Deadline: 31 August 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
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
obtained in EU countries, a Diploma Supplement or a certificate of comparability and verification issued by CIMEA as an ENIC-NARIC centre; ➢ for qualifications obtained in non-EU countries, a declaration of
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 27 days 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
-
. 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