-
working languages: Danish and English. You are expected to be fluent in at least one of these languages, and in time are expected to master both. As formal qualification you must hold a PhD degree (or
-
Multi-Party Computation (MPC) and Zero-Knowledge (ZK) Proofs. The successful candidate will investigate the formal design and security analysis of MPC protocols and ZK proofs, with a particular emphasis
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions