5 distributed-computing uni jobs at Nature Careers in Denmark

DIAS Fellow in Formal Methods and Future Computing

Nature Careers | Odense C, Region Syddanmark | Denmark | 10 days ago

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

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...

Nature Careers | Odense C, Region Syddanmark | Denmark | 25 days ago

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

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...

Nature Careers | Odense C, Region Syddanmark | Denmark | about 1 month ago

systems, programming of critical software and infrastructure, high-performance computing, and distributed systems. Model-driven Software Engineering Cybersecurity, including security by design, blockchain

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

Nature Careers | Odense C, Region Syddanmark | Denmark | 25 days ago

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

Director of new research centre in biological psychiatry with focus on brain circuit dysfunction

Nature Careers | Aarhus C, Region Midtjylland | Denmark | 5 days ago

of developmental neurobiology, circuit neuroscience, and computational biology. The centre constitutes a merger of the EMBL-node DANDRITE with a new research programme in neuronal circuits and circuit dysfunctions