24 formal-verification PhD positions in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification positions

PhD position in Algorithms

University of Southern Denmark | Denmark | about 9 hours ago

to finishing a MSc degree in computer science, mathematics, or a related field. A strong proficiency in mathematical formalism, demonstrated for example in a theoretical thesis, and interest in the topics
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
PhD Special Call: How to improve assessment and selection decisions in research funding (re-advertisement)

Aarhus University | Denmark | 2 months ago

://mgmt.au.dk/ . Place of work Aarhus BSS, Department of Management, Fuglesangs Allé 4, DK-8210 Aarhus V Formal requirements You can read more about how to apply in the application guide and find the rules and
PhD position in CMOS design of SSM-based Spiking Neural Networks integrated with RISC-V

University of Southern Denmark | Denmark | 2 months ago

for SSM-SNN cores Integrate RISC-V processors using SoC flows Perform full-chip simulation, verification, and prototyping Publish and present research in high-impact venues Qualifications Applicants should

Enter an email to receive alerts for formal-verification positions