Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- National University of Science and Technology POLITEHNICA Bucharest
- The University of Manchester
- University of Bergen
- AALTO UNIVERSITY
- Cranfield University
- Delft University of Technology (TU Delft)
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Inria, the French national research institute for the digital sciences
- Instituto Politécnico de Bragança
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- Karolinska Institutet, doctoral positions
- Newcastle University
- REQUIMTE - Rede de Quimica e Tecnologia
- Texas A&M AgriLife
- Uppsala universitet
- 6 more »
- « less
-
Field
-
on software for safety-critical functions like life support, monitoring, and decision-making. They must comply with strict regulations (e.g., IEC 62304, ISO14971) that require trial-based safety assessments
-
transition that not only enhances the productivity of engineering teams but also expands the complexity of solvable design problems. We have two exciting PhD positions at the intersection of formal software
-
–based methods and software to assist physicians with: Disease classification Treatment decision support What-if analyses. Although the developed methods and software will be general-purpose, a special
-
will also design and develop new software and prototype models. Research areas: Computer science, Simulation-based automated synthesis and verification of human physiology models, Artificial intelligence
-
? 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
-
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
-
) and multiaxial regimes (tension–compression–torsion; axial–axial cruciform in-phase and anti-phase), using modal and dynamic analyses through finite element software, and experimental frequency analyses
-
environment Excellent communication skills Desired: Experience and knowledge of histological laboratory techniques Experience with specialised software for image and data analysis Scientific Contributions
-
-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