Sort by
Refine Your Search
-
hardware; optimization techniques for high-performance multicore processors; innovative hardware solutions targeting cybersecurity resilience; leveraging AI and cloud technologies in EDA; edge computing and
-
interdisciplinary research and dialogue. Qualifications Successful applicants must: Hold a PhD or similar qualifications within relevant fields of Computer Science or Mathematics. Exhibit curiosity-driven research
-
collaborate with us on ambitious formalisation projects. An ideal candidate: holds a PhD degree in computer science, or a PhD degree in mathematics, or equivalent; has a research track record at a high
-
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
-
, including interdisciplinary research and dialogue. Qualifications Successful applicants must: Hold a PhD or similar qualifications within relevant fields of Computer Science or Mathematics. Exhibit curiosity
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
competences in formal methods and collaborate with us on ambitious formalisation projects. An ideal candidate: holds a PhD degree in computer science, or a PhD degree in mathematics, or equivalent; has a