Sort by
Refine Your Search
-
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
-
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
-
methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices