Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- NTNU - Norwegian University of Science and Technology
- Newcastle University
- Instituto de Telecomunicações
- NTNU Norwegian University of Science and Technology
- Nature Careers
- The University of Manchester
- AGH University of Krakow
- Centro Nacional de Investigaciones Cardiovasculares Carlos III F.S.P.
- ESS - Escola Superior de Saúde
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Hannover Medical School •
- Instituto Superior de Agronomia
- Linköping University
- Norwegian University of Life Sciences (NMBU)
- REQUIMTE - Rede de Quimica e Tecnologia
- RPTU University Kaiserslautern-Landau •
- Universidade Católica Portuguesa - Porto
- University of Bergen
- University of Luxembourg
- University of Surrey;
- University of Utah
- Uppsala universitet
- 12 more »
- « less
-
Field
-
-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
-
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
-
, Computer Science, Life Sciences and Medicine. Through its dual mission of teaching and research, the FSTM seeks to generate and disseminate knowledge and train new generations of responsible citizens in
-
(FSTM) at the University of Luxembourg contributes multidisciplinary expertise in the fields of Mathematics, Physics, Engineering, Computer Science, Life Sciences and Medicine. Through its dual mission
-
Deadline 13 Apr 2026 - 23:59 (Europe/Lisbon) Country Portugal Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is
-
engineering, formal methods, and safety assurance. Prior experience in formal methods or medical regulation is not required. The project includes training, supervision, and gradual progression into research
-
the CRADLE team, the project will further refine and verify the proposed control framework through formal verification techniques. We are seeking highly motivated candidates with a strong background in control
-
the applicant, with verification of this condition taking place only at the grant contracting stage; Proof of enrollment in a degree program or in a non-degree course, in the case of applicants who are not
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in formal verification and programming
-
application! We are announcing a PhD student position in Computer Science within CUGS Research School in a joint effort with Cybercampus Sweden , formally based at the division for Cybersecurity at Department