Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- The University of Manchester
- AGH University of Krakow
- Helmholtz-Zentrum Dresden-Rossendorf
- Newcastle University
- REQUIMTE - Rede de Quimica e Tecnologia
- RPTU University Kaiserslautern-Landau •
- The University of Manchester;
- UPF
- University of Bergen
- University of Utah
- Uppsala universitet
- 5 more »
- « less
-
Field
-
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
-
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
-
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
-
. 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
-
of Artificial intelligence, Machine learning, Numerical simulation, Formal verification. Such methods include, among the others: AI-guided simulation of the mathematical models of the patho-physiology and PK/PD
-
found on the website: https://hrs4r.agh.edu.pl/ The recruitment procedure is divided into two stages: formal assessment – assessment of the completeness of the application documents and compliance with
-
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
-
of the institution, who is also in charge of deciding about the hiring. 18. Application formalization: 18.1 The applications are formalized at the electronic address https://www.requimte.com/ with following documents
-
, 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 theory and