Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
-
Field
-
within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems are becoming increasingly important
-
measurements based on embedded systems. Assembly and verification of optical communication systems. Planning and management of LMR experimental activity (internal/external assignments). Where to apply Website
-
applied biostatistics group). The department is situated at campus Solna. Further information can be found at http://ki.se/en/meb Do you want to contribute to top quality medical research? To be a doctoral
-
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
-
, software-defined material flow platform that is transforming intralogistics. Our patented technology replaces rigid conveyor systems with intelligent hexagonal cells equipped with omnidirectional wheels
-
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
-
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