Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- National Research Council Canada
- BI Norwegian Business School
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Aarhus University
- Eindhoven University of Technology (TU/e)
- Fondazione Bruno Kessler
- Graz University of Technology
- Hanken School of Economics
- Instituto Politécnico de Bragança
- NTNU - Norwegian University of Science and Technology
- RPTU University Kaiserslautern-Landau •
- SciLifeLab
- Tilburg University
- AALTO UNIVERSITY
- Aalborg University
- Academia Națională de Informații „Mihai Viteazul”
- CNRS
- Centro de Investigaciones sobre Desertificación (CIDE, CSIC-UV-GVA)
- Cleveland State University
- Constructor Knowledge Labs gGmbH
- Delft University of Technology (TU Delft)
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- Heidelberg University
- Institute of Human Genetics of the Polish Academy of Sciences
- Instituto de Telecomunicações
- Karolinska Institutet, doctoral positions
- NTNU Norwegian University of Science and Technology
- Politecnico di Milano
- Politehnica University of Timisoara
- REQUIMTE - Rede de Quimica e Tecnologia
- Saarland University
- Silesian University of Technology
- Technical University of Munich
- Technische Universität Chemnitz
- The University of Newcastle
- The University of Queensland
- University of Bergen
- University of East Anglia
- University of East Anglia;
- University of New South Wales
- University of Oldenburg
- University of Surrey
- University of West Bohemia
- University of Zurich
- Wageningen University & Research
- 36 more »
- « less
-
Field
-
documented relevant activities, where applicable. Signed Verification Document Applicants who do not hold a qualifying master's degree from a Nordic institution and whose qualifying degree was not taught in
-
(maximum 18 ECTS). A complete list of publications and other documented relevant activities, where applicable. Signed Verification Document Applicants who do not hold a qualifying master's degree from a
-
— message passing, heterogeneous and typed graphs, graph transformers, handling graphs whose node vocabulary changes between versions. Solvers and verification tooling driven from Python. Z3 or cvc5 hands
-
process will be applied. For a Secret Clearance, verification of background information over a period of 10 years is required. Individuals must have lived in Canada for a sufficient period of time to enable
-
of individuals, and direct large-scale initiatives. Condition of employment Secret clearance A thorough security clearance process will be applied. For a Secret Clearance, verification of background
-
design, spacecraft systems modelling, structural and thermal analysis, and mission performance verification. Together, these resources support the full development cycle—from early concept design and
-
university partners support industrial validation, verification of process-detection concepts, and round-robin testing of the developed data-analysis framework. Key objectives are the development
-
considered an advantage. Knowledge or interest in AI security, adversarial robustness, fault tolerance or runtime verification will be considered an advantage. Ability to analyse scientific literature
-
. This PhD project aims to advance monitoring, reporting, verification (MRV) systems and mitigation strategies for reducing agricultural GHG emissions by systematically evaluating and improving the accuracy
-
employment: Expected starting date is 01 March 2027, subject to final MSCA eligibility verification, doctoral programme enrolment, and completion of administrative onboarding. Where to apply E-mail fradebel