1 model-checking PhD positions at University of Zurich Blockchain Center in Switzerland
-
for blockchain-based systems. Develop mathematical and computational models for simulating and analysing various economic properties of blockchain-based systems. Design and evaluate token economies and governance
Searches related to model checking
Enter an email to receive alerts for model-checking positions