Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Binghamton University
- Uppsala universitet
- AALTO UNIVERSITY
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- Karolinska Institutet, doctoral positions
- NTNU Norwegian University of Science and Technology
- Newcastle University
- REQUIMTE - Rede de Quimica e Tecnologia
- The University of Manchester
- 1 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
-
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
-
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
-
de neuromelanina y factores de susceptibilidad a la enfermedad de parkinson: rol en el inicio y progresión de la enfermedad” Where to apply Website https://jobs.vhir.org/jobs/6941521-phd-researcher
-
-phase, solid-state, soft ionic and nanostructured materials; (ii) experience in the use of MD (Gromacs, LAMMPS) and ab initio MD (VASP, CP2K) software packages; (iii) knowledge of force-field development
-
obtained and documented before starting the position, and no later than autumn 2026. You must have strong modelling and programing skills in software such as Matlab/Simulink, PSCAD, OPAL-RT, etc., relevant
-
English B/English 6 at Swedish upper secondary school. Follow the instructions on the web page English language requirements for doctoral education. Verification of your documents Karolinska Institutet