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
- 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 Bergen
- 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
- Politecnico di Torino
- REQUIMTE - Rede de Quimica e Tecnologia
- Swansea University
- The University of Manchester;
- UPF
- University of Beira Interior
- University of Utah
- University of Washington
- Uppsala universitet
- 28 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
-
? 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
-
. 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
-
The students will be enrolled in the structured PhD programme in Computer Science at Sapienza University of Rome, Italy: https://www.uniroma1.it/en/offerta-formativa/dottorato/2025/computer-science About the
-
possibility of extension) Start date: August 2026 at latest The students will be enrolled in the structured PhD programme in Computer Science at Sapienza University of Rome, Italy: https://www.uniroma1.it/en
-
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
-
include criminal background check and, as applicable for the position, other background checks, drug screen, an employment and education or licensure/certification verification, physical examination