Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- NTNU - Norwegian University of Science and Technology
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Instituto de Telecomunicações
- Newcastle University
- NTNU Norwegian University of Science and Technology
- Nature Careers
- REQUIMTE - Rede de Quimica e Tecnologia
- The University of Manchester
- Centro Nacional de Investigaciones Cardiovasculares Carlos III F.S.P.
- ESS - Escola Superior de Saúde
- Fondazione Bruno Kessler
- Hannover Medical School •
- Instituto Superior de Agronomia
- Norwegian University of Life Sciences (NMBU)
- RPTU University Kaiserslautern-Landau •
- SciLifeLab
- Universidade Católica Portuguesa - Porto
- University of Bergen
- University of Luxembourg
- University of Sheffield
- University of Surrey;
- University of Utah
- Uppsala universitet
- 13 more »
- « less
-
Field
-
within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems are becoming increasingly important
-
verified using myriad methods. These verification approaches range from extensive testing and simulation through to formal proofs of correctness. When used in a corroborative fashion, the results
-
This PhD offers a unique opportunity to work at the intersection of formal methods, control engineering, and cybersecurity within the high-stakes environment of aerospace propulsion. You will be a
-
the national Data-Driven Life Science (DDLS) program. About the position and the project As an industrial PhD student, you will be employed by the startup company PredictMe AB while being formally enrolled as a
-
discounts on travel, culture, technology, gastronomy, sports and more. Healthy offering– “Feel Good, Feel VHIR”: VHIR’s wellbeing programme offers a variety of activities to help staff thrive—physically
-
discounts on travel, culture, technology, gastronomy, sports and more. Healthy offering– “Feel Good, Feel VHIR”: VHIR’s wellbeing programme offers a variety of activities to help staff thrive—physically
-
Telecomunicações, Coimbra branch, Department of Electrical and Computer Engineering (DEEC), Polo II, University of Coimbra, Coimbra, Portugal. The monthly remuneration to be awarded corresponds to that provided
-
programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Reference: REQUIMTE 2026-28 Main research field: Analytical Chemistry Sub research field
-
PhD studentship in Computer Science: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification Award Summary 100% fees covered, and
-
-second-class undergraduate degree (or a Master's degree) in Computer Science, Mathematics, Statistics, or a closely related field Solid grounding in machine learning and/or probability/statistics