2 cloud-computing-phd-student positions at Nature Careers in Denmark

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Formal Method

Nature Careers | Odense C, Region Syddanmark | Denmark | 2 months ago

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...

Nature Careers | Odense C, Region Syddanmark | Denmark | 2 months ago

, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops