Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- National Research Council Canada
- Fondazione Bruno Kessler
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Graz University of Technology
- CNRS
- Eindhoven University of Technology (TU/e)
- Hanken School of Economics
- Instituto Politécnico de Bragança
- Karolinska Institutet, doctoral positions
- NTNU - Norwegian University of Science and Technology
- RPTU University Kaiserslautern-Landau •
- SciLifeLab
- Tilburg University
- Aalborg University
- Aarhus University
- Academia Națională de Informații „Mihai Viteazul”
- Centro de Investigaciones sobre Desertificación (CIDE, CSIC-UV-GVA)
- Cleveland State University
- Delft University of Technology (TU Delft)
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- Heidelberg University
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Institute of Human Genetics of the Polish Academy of Sciences
- Instituto de Telecomunicações
- Lulea University of Technology
- NTNU Norwegian University of Science and Technology
- Oak Ridge National Laboratory
- Politecnico di Milano
- Politehnica University of Timisoara
- REQUIMTE - Rede de Quimica e Tecnologia
- Saarland University
- Silesian University of Technology
- Technical University of Munich
- 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 Newcastle
- University of Oldenburg
- University of West Bohemia
- University of Zurich
- Wageningen University & Research
- 35 more »
- « less
-
Field
-
-based design to manage architectural complexity, automated generation of safety artifacts (such as Fault Trees and FMEA), and formal verification of FDIR strategies. Furthermore, the research will explore
-
, and stakeholder engagement. Condition of employment Reliability Status For a Reliability Status, verification of background information over a period of 5 years is required. Language requirements
-
of the aforementioned diploma. 26. The selection of the candidate to be hired depends on the guidelines and regulations applicable by the Foundation for Science and Technology, and on verification of compliance with
-
aligned with Digital Product Passport requirements Expected results include: Validated tolerances and certified verification procedures for micro-carrier components A comprehensive ontology describing all
-
Application submission period - 13–28 July 2026 Verification of administrative eligibility - 29 July 2026 Scientific evaluation of applications - 30–31 July 2026 Interviews - 3 August 2026 Final assessment
-
notions of resilience have to be developed along with algorithms to check resilience of machine learning models. Research is conducted in the fields of automated reasoning, probabilistic verification, and
-
verification of cryptographic security Contributing to the maintenance of infrastructure and organizational support for teaching and research activities Your Profile Excellent English proficiency and strong
-
advancements achieved with the LHC is the discovery of the Higgs boson by the ATLAS and CMS collaborations in 2012, providing crucial experimental verification of the Standard Model (SM) of particle physics
-
verification effort. This foundational work will be a landmark achievement in the digital formalisation of contemporary mathematics. Entry Requirements: The minimum entry requirements are a 2:1 Bachelor's degree
-
applied aspects of software engineering. Research lies in the field of intelligent systems, formal verification and systematic testing of software, artificial intelligence, requirements engineering