Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Binghamton University
- Delft University of Technology (TU Delft)
- AALTO UNIVERSITY
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- Karolinska Institutet, doctoral positions
- Linköping University
- NTNU Norwegian University of Science and Technology
- Newcastle University
- REQUIMTE - Rede de Quimica e Tecnologia
- The University of Manchester
- University of Bergen
- Uppsala universitet
- cellumation GmbH
- 5 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
-
, software-defined material flow platform that is transforming intralogistics. Our patented technology replaces rigid conveyor systems with intelligent hexagonal cells equipped with omnidirectional wheels
-
] 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
-
and verification. You will translate new architectural concepts into integrated circuit implementations and evaluate their performance through measurements on fabricated silicon chips. You will
-
well as understanding experience in independent project work as well as the ability to work in a team. For this position, it is required that you have strong programming skills and interest in software security. Meriting
-
-level circuit design, and detailed simulation and verification. The developed architectures will be implemented as integrated circuits and validated through measurements on fabricated silicon chips. With
-
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
-
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