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
- The University of Manchester
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- Binghamton University
- 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
- National University of Science and Technology POLITEHNICA Bucharest
- ODTÜ-GÜNAM
- RPTU University of Kaiserslautern-Landau •
- University of A Coruña
- University of Bergen
- AALTO UNIVERSITY
- AGH University of Krakow
- Aalborg University
- BI Norwegian Business School
- 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
- Swansea University
- The University of Manchester;
- UPF
- University of Amsterdam (UvA)
- University of Beira Interior
- University of Utah
- Uppsala universitet
- Warsaw University of Technology - Centre for Credible AI
- 31 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
-
. 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
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
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
-
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
-
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
-
verification with the support of competent and friendly colleagues in an international environment? Are you looking for an employer that invests in sustainable employeeship and offers safe, favorable working
-
completion of a pre-employment background check and verification of degree(s) and credentials. Application Instructions: All applicants must apply via Interview Exchange: http