1 distributed-algorithm positions at University of Groningen in Netherlands

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for distributed-algorithm positions

PhD in Formal Verification of Distributed Systems (1.0 FTE)

University of Groningen | Netherlands | 3 months ago

. -) SAT, SMT, and CHC solving. -) Temporal logic and TLA+. -) Distributed algorithms, blockchains, and smart contracts. -) Quantum information theory and Markov decision processes. Conditions of employment

Searches related to distributed algorithm

Enter an email to receive alerts for distributed-algorithm positions