PhD Scholarship: Formal Methods for Secure Concurrent Protocols

1000scholars

Amsterdam

On-site

EUR 37,000 - 47,000

Full time

6 days ago

Be an early applicant

A complete application in a minute

Tailored resume and cover letter, ready to send.

Get past ATS filters

Benefits offered by this job

ABP pension

Holiday allowance 8%

End-of-year bonus 8.3%

Commuting allowance

Personalized benefits package

Job summary

Vrije Universiteit Amsterdam is seeking a research-focused PhD candidate to advance formal reasoning principles for concurrent cryptographic protocols. You will conduct research toward rigorous models and contribute to dissemination at conferences and through research visits, while mentoring bachelor and master students.

In addition, you will support courses as a teaching assistant (maximum two periods a year) and collaborate with the Department of Computer Science to strengthen education,

Qualifications

Master’s degree in computer science, mathematics, or a related subject.
Experience with functional programming (e.g., Haskell) or proof assistants (e.g. Coq, 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 and disseminate results (conferences, research visits, etc.).
Provide light supervision for bachelor/master students and support our courses as teaching assistants (max two periods a year).

Skills

Haskell

Proof assistants

English communication

Education

Master’s degree in computer science, mathematics, or a related subject

Job description

In addition, you will support courses as a teaching assistant (maximum two periods a year) and collaborate with the Department of Computer Science to strengthen education,

Get your free, confidential resume review.

or drag and drop your file here.