Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
Tenure-track Assistant and Associate Professorship positions in Algorithms at the Department of M...
We seek candidates to join the Algorithms Section. The focus of the call is both to expand at the new Vejle campus and to strengthen the Odense campus. We have several openings, and successful
-
Job Description We seek candidates to join the Algorithms Section. The focus of the call is both to expand at the new Vejle campus and to strengthen the Odense campus. We have several openings, and
-
, 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...
, 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
-
methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices
-
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
-
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
-
to quantum algorithms and applications. The long-term mission of the programme is to develop fault-tolerant quantum computing hardware and quantum algorithms that solve life-science-relevant chemical and