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
-
propulsion systems. Cutting-Edge Tools: Gain expertise in Contract-Based Design, formal verification, and modern advanced control—skills in high demand across industry. Professional Development: You will be
-
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
-
exercise, on-site or remotely. Checks: Education, references, and other job-related verifications may be carried out. Job offer: The selected candidate receives a formal job offer upon successful completion
-
. The project will deliver traceable workflows, formal requirement templates, and automatically generated verification artefacts for medical-device safety certification. It aims to promote industrial adoption and
-
degree was awarded by a foreign higher education institution, it must comply with the provisions of Decree-Law no. 341/2007 of October 12th, and all formalities established therein must be complied with
-
will deliver traceable workflows, formal requirement templates and automatically generated verification artefacts suitable for use in medical-device safety certification. It aims to contribute
-
exercise, on-site or remotely. Checks: Education, references, and other job-related verifications may be carried out. Job offer: The selected candidate receives a formal job offer upon successful completion
-
proof assistants, into the scientific production workflow Developing a complete and reproducible protocol for mathematical creation, verification, and publication, including formal certification