Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Statistics section, include: Algorithms , focusing on online and approximation algorithms, graph and parameterized algorithms, string algorithms, data structures, combinatorial optimization, algorithmic
-
specialized algorithms supported on solid theoretical foundations and with a focus on challenging aspects of very high-dimensional datasets, such as datasets encountered in the computational biology and
-
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
-
Job Description DTU Electro invites applications for a PhD position in digital signal processing and machine-learning-enabled continuous-variable quantum key distribution (CV-QKD). The position is
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
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
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
systems, programming of critical software and infrastructure, high-performance computing, and distributed systems. Model-driven Software Engineering Cybersecurity, including security by design, blockchain