Sort by
Refine Your Search
-
systems. Responsibilities include: Integration of advanced sensing technologies with continuum robotic systems and development of associated sensing and estimation algorithms Path planning based on medical
-
and development of associated sensing and estimation algorithms Path planning based on medical imaging data (e.g., MRI, CT, angiography) Development of AI-based control methods for continuum robots
-
programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum
-
fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position
-
will have the opportunity to engage in pioneering research, collaborate with a large, dynamic and multidisciplinary team, and advance the field of quantum computing through innovative algorithms and
-
languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security