Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
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
-
Tenure-track Assistant and Associate Professorship positions in Data Science and Machine Learning...
cheminformatics, differential privacy and cryptography. Artificial Intelligence, Cybersecurity and Programming Languages , focusing on choreographic programming, distributed computing (cloud, edge, IoT
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
Engineering Cybersecurity Distributed and Cloud Computing Operating Systems and Digital Infrastructure AI for Software Engineering Software Engineering for Internet of Things Software Engineering for Cyber
-
methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices
-
will contribute to developing intelligent agent that supervises energy-efficient compute offloading over distributed edge and cloud. The application deadline is December 12, 2025, 2025 at 11.59 PM
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
(cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum and embedded cryptography, and quantum programming