Sort by
Refine Your Search
-
. Cloud computing, edge computing, and Internet of Things, including software and operation techniques such as microservices, serverless and web technologies. LLM-assisted Software Engineering. System
-
, 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
-
completion of) a PhD in Computer Science or Mathematics. An ideal candidate has a research track record at a high international level (reflecting the academic age of the applicant) and experience with
-
.), 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
-
, 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