4 distributed-algorithm-"Meta" PhD positions at University of Groningen

PhD in Formal Verification of Distributed Systems (1.0 FTE)

University of Groningen | Netherlands | 3 months ago

theory. o SAT, SMT, and CHC solving. o Temporal logic and TLA+. o Distributed algorithms, blockchains, and smart contracts. o Quantum information theory and Markov decision processes. Additional

PhD in Formal Verification of Distributed Systems (1.0 FTE)

University of Groningen | Netherlands | 2 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

PhD in Simulators for Post-Von Neumann architectures (1.0 FTE)

University of Groningen | Netherlands | 2 months ago

mathematical methods, algorithms, and applications are required. Simulators are a recognized method for architectural design explorations and the implementation of software development platforms. The goal

PhD in Simulators for Post-Von Neumann architectures (1.0 FTE)

University of Groningen | Netherlands | 3 months ago

require the design of architectures suitable for real-life problems. Moreover, appropriate mathematical methods, algorithms, and applications are required. Simulators are a recognized method for