Publisher
source

Centrum Wiskunde & Informatica

Just Landed

PhD Student in Formal Methods and Design Automation for Cryptography and Hardware Security Centrum Wiskunde & Informatica in Netherlands

Degree Level

PhD

Field of study

Computer Science

Funding

This is a full-time salaried PhD employment position under the Dutch Collective Labour Agreement for Research Centres. The initial contract is 18 months and may be extended by 30 months after positive evaluation. The gross monthly salary is €3,115 in the first year and increases to €3,989 over the four-year period. Employees receive an 8% holiday allowance, an 8.33% year-end bonus, flexible scheduling, and housing assistance for expatriate employees.

Deadline

Dec 31, 2026

Country flag

Country

Netherlands

University

Centrum Wiskunde & Informatica

Apply for this position

Keywords

Computer Science
Electrical Engineering
Mathematics
Cryptography
Formal Methods
Design Automation
Computer Security
Hardware Security

Suggested positions

Publisher
source

Technische Universität Darmstadt

Country flag

Germany

Postdoc/Postdoctoral Researcher in Cryptographic Protocols and Secure Computation at Technische Universität Darmstadt (ENCRYPTO Group, Computer Science). The ENCRYPTO Group is recruiting for an immediately available, fully funded 2-year postdoctoral position in the ERC Consolidator Grant project PRIVTOOLS (“Tools for Protecting Data and Function Privacy”). The project focuses on developing composable protocols, optimizations, and tools for protecting data and functions in applications. Research ...

Computer Science
Information Technology
Mathematics
+2 more

1 week ago

Publisher
source

Delft University of Technology

Country flag

Netherlands

Fully funded PhD position in Quantum Control at Delft University of Technology in the Netherlands . This opening is focused on quantum control , a research area at the intersection of physics , electrical engineering , and computational methods. The post does not list detailed eligibility criteria in the text, but it directs applicants to the official vacancy for the required qualifications and application documents. Funding: The position is described as fully funded . Requirements: Please consu...

Computer Science
Electrical Engineering
Physics

1 week ago

Publisher
source

University of Groningen

Country flag

Netherlands

University of Groningen is advertising a PhD position in Systems and Control Theory for Energy-Based Learning in the Netherlands . The project sits at the intersection of systems and control theory , circuit theory , optimization , machine learning , and neuromorphic computing , with a strong emphasis on mathematical foundations for energy-efficient computing. The PhD candidate will develop theory and algorithms for learning in analog circuits and dissipative networks. The research aims to model...

Computer Science
Electrical Engineering
Mathematics
+4 more

1 month ago

Publisher
source

University of Groningen

Country flag

Netherlands

Postdoc in Energy-based Learning of Dynamical Systems at the University of Groningen, Netherlands. This postdoctoral opening is for a highly motivated researcher to work on systems theory for energy-based learning . The project focuses on developing and analysing new algorithms for complex systems, with particular emphasis on theory that goes beyond the steady-state behaviour of dynamical systems. The role also offers the opportunity to collaborate with PhD students working on related topics in ...

Computer Science
Systems Engineering
Electrical Engineering
+4 more

1 month ago

Publisher
source

Eindhoven University of Technology

Country flag

Netherlands

PhD opportunity at Eindhoven University of Technology (TU/e) in the Department of Electrical Engineering, focused on communication-optimized inference in large language models . The project, called COIL , sits at the intersection of computer science , electrical engineering , mathematics , and information technology , with a strong emphasis on AI infrastructure, high-performance networking, distributed systems, and network modeling. You will study how multiple GPUs exchange intermediate results ...

Computer Science
Electrical Engineering
Information Technology
+4 more

1 week ago

About this position

Centrum Wiskunde & Informatica (CWI) in Amsterdam, the Netherlands, invites applications for a full-time PhD student in its Computer Security research group. The project focuses on formal methods and design automation for cryptography and hardware security within the NWO Gravitation programme Challenges in Cyber Security (CiCS).

Research may include logic synthesis for secure computation, optimization for multi-party computation and fully homomorphic encryption, computer-aided cryptography, automated reasoning, formal verification, hardware security, side-channel resistance, and privacy-preserving verification using zero-knowledge proofs. The successful researcher will develop theoretical models, algorithms, and security proofs; implement prototype tools; evaluate realistic benchmarks; collaborate internationally; and publish and present results at leading conferences.

Applicants need a Master’s degree in computer science, mathematics, computer engineering, or a related field, with strong theoretical and analytical skills. Programming experience in Python and/or C++ is expected. Background in formal methods, cryptography, secure computation, logic synthesis, or hardware security is advantageous. Excellent English, academic communication skills, research potential, and teamwork are preferred.

The position offers a salaried PhD contract under Dutch research-centre employment conditions, beginning with 18 months and potentially extending by 30 months. Salary ranges from €3,115 to €3,989 gross per month over four years, plus holiday allowance, year-end bonus, flexible scheduling, and housing assistance for expatriate employees. The application deadline is 31 December 2026, with evaluation beginning immediately.

Funding details

This is a full-time salaried PhD employment position under the Dutch Collective Labour Agreement for Research Centres. The initial contract is 18 months and may be extended by 30 months after positive evaluation. The gross monthly salary is €3,115 in the first year and increases to €3,989 over the four-year period. Employees receive an 8% holiday allowance, an 8.33% year-end bonus, flexible scheduling, and housing assistance for expatriate employees.

What's required

Candidates must have a Master’s degree in computer science, mathematics, computer engineering, or a related discipline. They should have a strong theoretical foundation, such as in logic, discrete mathematics, cryptography, or formal methods, and well-developed analytical skills. Programming skills in Python and/or C++ and willingness to build research prototypes are required. Knowledge of formal methods, logic synthesis, secure computation including MPC, FHE, or zero-knowledge proofs, or hardware security including side-channel analysis is advantageous. Research talent, excellent English, strong academic writing and presentation skills, ability to work in an international interdisciplinary team, and interest in collaboration are preferred.

How to apply

Submit a detailed resume, motivation letter, list of MSc courses and grades, a copy of your Master’s thesis, and preferably a publication list through the CWI application portal. Applications are evaluated immediately until the position is filled.

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts and confirm requirements with the university.