Sort by
Refine Your Search
-
Country
-
Employer
-
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
-
on the combination of Reinforcement Learning (RL) and Model Predictive Control (MPC). It will build up upon the work done at ITK on the topic. Several research focuses are considered: verification pathways in RLMPC
-
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
-
and verification. You will translate new architectural concepts into integrated circuit implementations and evaluate their performance through measurements on fabricated silicon chips. You will
-
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
-
-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
-
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
-
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