Postdoc applied and provable security

We have an opening for a two-year postdoc position in the applied and provable security (APS) group at Eindhoven University of Technology (TU/e). The APS group is working on provable security of cryptographic primitives and protocols considering quantum adversaries as well as the machine checking of such proofs. Recent works range from proposing new NIST standards (SPHINCS+) to new post-quantum secure communication protocols (PQWireGuard, PQNoise), and the formal verification of proofs for recent NIST standards and proposals (XMSS, Dilithium, Saber) in EasyCrypt. The group currently consists of two tenured professors and four PhD students.

The position is funded by a talent program grant of the Dutch Science Foundation (NWO). The successful candidate will carry out independent research in one of the research areas covered by the APS group under the supervision of Andreas Hülsing.

Applicants must hold a PhD and have a background in one of the topics related to the intended research area, including but not limited to: Cryptography, formal methods, or quantum information theory. This background should be demonstrated by relevant publications.

A meaningful job in a dynamic and ambitious university, in an interdisciplinary setting and within an international network. You will work on a beautiful, green campus within walking distance of the central train station. In addition, we offer you:

• Full-time employment for one year, with the possiblity of and extentsion of one extra year
• Salary in accordance with the Collective Labour Agreement for Dutch Universities, scale 10 (min. €3,877 max. €5,090).
• A year-end bonus of 8.3% and annual vacation pay of 8%.
• High-quality training programs on general skills, didactics and topics related to research and valorization.
• An excellent technical infrastructure, on-campus children's day care and sports facilities.
• Partially paid parental leave and an allowance for commuting, working from home and internet costs.
• A TU/e Postdoc Association that helps you to build a stronger and broader academic and personal network, and offers tailored support, training and workshops.
• A Staff Immigration Team is available for international candidates, as are a tax compensation scheme (the 30% facility) and a compensation for moving expenses.