PhD Position in Formal Methods for Concurrent Cryptographic Protocols

Je doet onderzoek naar formele redeneermethoden voor gelijktijdige cryptografische protocollen en helpt met onderwijs en begeleiding van studenten.

Harde eisen

• Masterdiploma in informatica, wiskunde of een verwant vakgebied
• Goede communicatievaardigheden in het Engels

Arbeidsvoorwaarden

• 8% holiday allowance
• 8.3% end-of-year bonus
• solid pension scheme (ABP)
• optional model for designing a personalized benefits package
• contribution to commuting expenses

Mooi meegenomen

• Ervaring met functioneel programmeren of proof assistants
• Ervaring met cryptografie, beveiliging of concurrent programmeren

Wat je gaat doen

• Je ontwikkelt formele redeneerprincipes voor gelijktijdige cryptografische protocollen.
• Je verspreidt onderzoeksresultaten via onder meer conferenties en onderzoeksbezoeken.
• Je begeleidt bachelor- en masterstudenten licht en ondersteunt cursussen als onderwijsassistent.

Werkomgeving

• Onderwijs
• Kantoor

Vaardigheden

• functional programming
• Haskell
• Rocq
• Agda
• Lean
• cryptography
• security
• concurrent programming

Talen certificaten en rijbewijzen

• English

Werktijden

• Dagdienst

Sollicitatieproces

• online
• Dien online je sollicitatie in.
• Voeg je cv en contactgegevens van twee referenten toe.