Sort by
Refine Your Search
-
Country
-
Program
-
Employer
- Instituto Politécnico de Bragança
- Technical University of Munich
- Uppsala universitet
- INESC ID
- INESC TEC
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- Karolinska Institutet, doctoral positions
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- NTNU Norwegian University of Science and Technology
- Newcastle University
- The California State University
- The University of Manchester
- University of Oklahoma
- 4 more »
- « less
-
Field
-
insights and software artifacts advancing the state of the art in quantum program verification. Duties The doctoral student will primarily devote their time to doctoral education. Other departmental duties
-
] FDA General Principles of Software Validation for Medical devices . [6] PlaTFoRm Project, https://www.fortiss.org/en/research/projects/detail/platform . Number Of Awards 1 Start Date 1 October 2026
-
of contracting the scholarship, and before that, they can be replaced by a declaration of honour. Preferential factors: • Having passed courses that cover systems security and software verification. • Having
-
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 the application of the analyzed technologies; 4) Collaboration in writing scientific articles and technical reports; 4. Objectives: Analysis of existing hardware and software on the market, within the scope
-
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
-
of programming languages, verification-aware languages, and in how to integrate AI tools and techniques into software projects. The evaluation panel assigns a classification to each of the candidates on a scale of
-
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
-
, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment. Project description The available PhD positions
-
enrolled in the Spring semester as a Graduate student at the University of Oklahoma. Hiring continent upon verification of current student status. Must attach Spring 2026 class schedule Learning Outcomes