Sort by
Refine Your Search
-
or runtime verification techniques for continuous dynamics and hybrid systems; Development of formal verification techniques and their integration in model-based design environments; Model checking of embedded
-
20 Dec 2025 Job Information Organisation/Company INFN - Istituto Nazionale di Fisica Nucleare Research Field Physics Researcher Profile Recognised Researcher (R2) Leading Researcher (R4) First Stage
-
infrastructures and architectures for robotics and automation systems Outstanding working knowledge and experience in embedded software development and debugging for customized devices. Excellent working knowledge
-
role. The research will focus on development and implementation of fault tolerant techniques for embedded real-time systems that uses Commercial-Off-The-Shelf components. The development
-
13 Nov 2025 Job Information Organisation/Company Università di Trento Research Field Computer science Researcher Profile Recognised Researcher (R2) Leading Researcher (R4) First Stage Researcher (R1
-
18 Oct 2025 Job Information Organisation/Company Università degli Studi di Cassino e del Lazio Meridionale Research Field Communication sciences Computer science Economics Engineering Communication
-
, for the development of embedded algorithms and control systems, paradigms of shared-control and sensory feedback for wearable robots like limb prostheses or wearable devices for assistance and (neuro)rehabilitation
-
Deep Learning Computer Vision Edge AI, TinyML, and Embedded AI Explainable AI Safe AI Federated, Parallel & Distributed, Computing/Learning Control Systems Optimization Planning and Scheduling Human