Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- BI Norwegian Business School
- National Research Council Canada
- REQUIMTE - Rede de Quimica e Tecnologia
- Tallinn University of Technology
- Forschungszentrum Jülich
- National University of Science and Technology POLITEHNICA Bucharest
- ; The University of Edinburgh
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Fraunhofer-Gesellschaft
- Instituto Politécnico de Bragança
- National Renewable Energy Laboratory NREL
- RPTU University of Kaiserslautern-Landau •
- The University of Edinburgh
- University of A Coruña
- University of Groningen
- CNRS
- Chalmers University of Technology
- Conservatorio di Musica "Santa Cecilia"
- Cranfield University
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Instituto Superior de Economia e Gestão
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- KU LEUVEN
- Karolinska Institutet, doctoral positions
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Nature Careers
- Texas A&M AgriLife
- The University of Manchester
- University of Amsterdam (UvA)
- University of Beira Interior
- University of Cambridge
- University of Cambridge;
- University of Greenwich
- University of Groningen; 26 Sep ’25 published
- University of Porto
- University of Primorska
- University of Southern Denmark
- University of Warwick
- University of Warwick;
- Warsaw University of Technology - Centre for Credible AI
- 35 more »
- « less
-
Field
-
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
-
. Selection process 10.11.2025-12.11.2025- submission of applications for the competition 13.11.2025- administrative verification, selection and evaluation of files 14.11.2025- posting of partial results
-
of applications for the competition 13.11.2025- administrative verification, selection and evaluation of files 14.11.2025- posting of partial results 17.11.2025- submission of appeals for file evaluation 18.11.2025
-
interval 08.00 - 16.00 - submission of competition registration files 01.10.2025 - administrative verification and evaluation of files 02.10.2025 - display of administrative verification and file evaluation
-
are: Perform the role of lithography prime for both Optical and Ebeam lithography tools and processes; including operation and verification of the tools, assisting in maintenance and training of users; Perform
-
this position will be responsible for conducting research in the area of verification, testing and exploration of artificial intelligence models, active participation in lab meetings, scientific seminars and
-
designed functions; · Analysing code parameters, weight distributions, and dual structures; · Applying computational algebra tools (Magma, SageMath, GAP) for verification and experimentation
-
methods. This broad approach will offer several verification methods; the choice could be linked and justified by the value of an article. The activities here are motivated by the need to provide robust
-
the candidate, verification of this condition is mandatory at the grant contracting stage. Academic degrees obtained in foreign countries require recognition by a Portuguese institution in accordance with Decree