-
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
-
research, algorithmic discrete mathematics, complex networks, statistics, systems theory, computational science, and artificial intelligence with applications in health care, energy systems, traffic, and
-
-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