Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Karolinska Institutet, doctoral positions
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- The Belgian Nuclear Research Centre
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- Forschungszentrum Jülich
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Instituto Politécnico de Bragança
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- ODTÜ-GÜNAM
- The University of Manchester
- AALTO UNIVERSITY
- AGH University of Krakow
- Aalborg University
- BI Norwegian Business School
- Binghamton University
- CNRS
- Delft University of Technology (TU Delft)
- Hannover Medical School •
- Helmholtz-Zentrum Dresden-Rossendorf
- Inria, the French national research institute for the digital sciences
- Institute of Physical Chemistry, Polish Academy of Sciences
- Instituto Politécnico de Coimbra
- Lulea University of Technology
- Massachusetts Institute of Technology (MIT)
- Nature Careers
- Newcastle University
- Politecnico di Torino
- REQUIMTE - Rede de Quimica e Tecnologia
- RPTU University Kaiserslautern-Landau •
- RPTU University of Kaiserslautern-Landau •
- Swansea University
- The University of Manchester;
- UPF
- University of Beira Interior
- Uppsala universitet
- 26 more »
- « less
-
Field
-
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
-
results and verification evidence can be traced back to safety requirements. · Assessing how this evidence supports medical device certification standards such as IEC 62304 and ISO 14971. The project
-
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
-
. FCT, I.P. Research Grant Regulations in force (https://www.fct.pt/apoios/bolsas/docs/RegulamentoBolsasFCT2019.pdf ); Regulation No. 522/2020, published in the Official Gazette, 2nd series, No. 113
-
pure theory and experimental verifications. You will need to represent the group in different contexts, both in Sweden and abroad and hence have excellent skills in English. Further information
-
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
-
subject to verification in the Register of Sex Offenders – Restricted Access Register. Website for additional job details https://www.agh.edu.pl/o-agh/praca-w-agh Work Location(s) Number of offers
-
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
-
cooperation with HZI Graduate School https://www.helmholtz-hzi.de/en/career/graduate-school Teaching language English Languages English is the teaching language during the whole course of study. The thesis is
-
. 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