Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Instituto de Telecomunicações
- NTNU Norwegian University of Science and Technology
- 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
- NTNU - Norwegian University of Science and Technology
- Nature Careers
- Newcastle University
- Norwegian University of Life Sciences (NMBU)
- RPTU University Kaiserslautern-Landau •
- The University of Manchester
- Universidade Católica Portuguesa - Porto
- University of Bergen
- University of Luxembourg
- Uppsala universitet
- 7 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
-
structured pursuant to sections 9 and 11. *- The administrative verification of the recognition of the degrees obtained abroad will be fulfilled for the purpose of contracting, in case of approval
-
will deliver traceable workflows, formal requirement templates and automatically generated verification artefacts suitable for use in medical-device safety certification. It aims to contribute
-
creation, verification, and publication, including formal certification of results Contributing to the scientific activities of the department, e.g. seminars, workshops, reading groups and schools organized
-
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
-
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
-
their Ph.D abroad must have it formally recognized in Portugal, including conversion of the final grade into the Portuguese grading scale, in accordance with Decree-Law no. 66/2018, of 16 August. 2.2
-
March 18, 2026 until April 1, 2026. (until 5 pm, Lisbon time). Applications are formalized by completing the Application Form: https://hr-ucpporto.inqueritos.porto.ucp.pt/781575?lang=en It will be
-
detailed and structured pursuant to sections 9 and 11. *- The administrative verification of the recognition of the degrees obtained abroad will be fulfilled for the purpose of contracting, in case
-
complies with the legal requirements for the formalization of the contract in accordance with the Spanish labor law. To be eligible, candidates must officially apply in parallel to: https://www.unimedizin