2 formal-semantics PhD positions at Technical University of Denmark

PhD scholarship in multiscale operando characterization of operating zinc-based batteries - DTU Energy

Technical University of Denmark | Denmark | 2 months ago

Proficiency (e.g., IELTS, TOEFL. This requirement does not apply to native English speakers nor to applicants that underwent formal education in institutions with English as the official language). Any

PhD scholarship in Cryptography - DTU Compute

Technical University of Denmark | Denmark | 3 months ago

of secure Multi-Party Computation (MPC) and Zero-Knowledge (ZK) Proofs. You will investigate the formal design and security analysis of MPC protocols and ZK proofs, with a particular emphasis on foundational