Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- The University of Manchester
- Uppsala universitet
- AGH University of Krakow
- Centro Nacional de Investigaciones Cardiovasculares Carlos III F.S.P.
- Hannover Medical School •
- Helmholtz-Zentrum Dresden-Rossendorf
- Instituto Superior de Agronomia
- NTNU Norwegian University of Science and Technology
- Nature Careers
- Newcastle University
- Norwegian University of Life Sciences (NMBU)
- REQUIMTE - Rede de Quimica e Tecnologia
- RPTU University Kaiserslautern-Landau •
- The University of Manchester;
- University of Luxembourg
- 8 more »
- « less
-
Field
-
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
-
will deliver traceable workflows, formal requirement templates and automatically generated verification artefacts suitable for use in medical-device safety certification. It aims to contribute
-
verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based automated reasoning tools such as ESBMC (https://github.com/esbmc/esbmc ) to address safety and reliability
-
other job-related verifications may be carried out. Job offer: The selected candidate receives a formal job offer upon successful completion of the process. Additional comments VHIR embraces Equality and
-
must be formalized, obligatorily, by sending an application letter, with the reference “BD2-CEF2025-ripBGI_Refª-BL-13-2026”, accompanied by the following documents: Curriculum Vitae, copy of certificate
-
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
-
RPTU University Kaiserslautern-Landau • | Kaiserslautern, Rheinland Pfalz | Germany | about 8 hours ago
communication tailored to their needs. For further information, see: https://www.physik.uni-kl.de/oscar/ Course organisation During the research work, the PhD student has the possibility to participate in
-
on: https://www.dges.gov.pt/pt/pagina/reconhecimento Workplan and the objectives to achieve: Study and continuous development of fatigue testing equipment under uniaxial regimes (tension–compression; torsion
-
. Verification & validations through reference test cases. Technical documentation of the implemented modules. Final report summarising the work completed and the validation results. At the end of the project, it