Sort by
Refine Your Search
-
Listed
-
Employer
-
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
-
that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing