-
Vacancies PhD position on Dependability Driven on Device Learning Algorithms for Embedded Neuromorphic Architectures Key takeaways Edge devices that can learn autonomously while guaranteeing
-
to the full development pipeline: from algorithm design and implementation to clinical integration and evaluation. You will also work on improving prognostic models using (neuro-symbolic) AI and develop
-
of the processing system online. Our approach will be to draw on a broad selection of tools including (deep) reinforcement learning, queuing networks, online algorithms and systems engineering. In addition, a large
-
-proof. You will contribute to the CYCLIC project : Cyclic Structures in Programs and Proofs , a collaboration among five Dutch universities, uniting experts in cyclic structures, coinduction, program