PhD: Formal Methods for Concurrent Cryptographic Protocols

EURAXESS Ireland; Amsterdam; Hybrid; EUR 34,000 - 43,000; Full time

Benefits offered by this job

Full-time 38-hour week

Holiday entitlement 232 hours/year

8% holiday allowance

8.3% end-of-year bonus

Commuting expense contribution

Job summary

Vrije Universiteit Amsterdam (VU) invites applications for a First Stage Researcher (R1) to develop formal reasoning principles for concurrent cryptographic protocols and to disseminate results at conferences and through visits.

The role includes light supervision of bachelor/master students and supporting courses as teaching assistants (max two periods a year). The appointment is temporarily 18 months with potential extension.

Qualifications

• A master's degree in computer science, mathematics, or a related subject.
• Experience with functional programming (e.g., Haskell) or proof assistants (e.g. Rocq, Agda, Lean).
• Good communication skills in English
• Optional: experience with cryptography, security or concurrent programming

Responsibilities

• Carry out research towards developing formal reasoning principles for concurrent cryptographic protocols.
• Light supervision duties for bachelor and/or master students.
• Support courses as teaching assistants (maximum two periods a year).

Skills

Functional programming (Haskell)

Proof assistants

English communication

Education

Master's degree in Computer Science or Mathematics

Job description

Vrije Universiteit Amsterdam (VU) invites applications for a First Stage Researcher (R1) to develop formal reasoning principles for concurrent cryptographic protocols and to disseminate results at conferences and through visits.

The role includes light supervision of bachelor/master students and supporting courses as teaching assistants (max two periods a year). The appointment is temporarily 18 months with potential extension.