12 distributed-algorithm positions in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for distributed-algorithm positions

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Science with a focus on Automated Reasoning, Logic, or Programming Languages

University of Southern Denmark | Denmark | about 1 hour 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 Formal Methods

University of Southern Denmark | Denmark | about 1 hour ago

that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing

Enter an email to receive alerts for distributed-algorithm positions