Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Statistics section, include: Algorithms , focusing on online and approximation algorithms, graph and parameterized algorithms, string algorithms, data structures, combinatorial optimization, algorithmic
-
by: Developing specialized algorithms supported on solid theoretical foundations and with a focus on challenging aspects of very high-dimensional datasets, such as datasets encountered in
-
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
-
methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices
-
languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security
-
programming, including embedded systems, programming of critical software and infrastructure, high-performance computing, and distributed systems. Model-driven Software Engineering Cybersecurity, including
-
.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum and embedded cryptography, and
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing