[Assistant Professor position, TU Eindhoven, NL] Formal Verification of Cryptographic Implementations

Hi all, I have an opening for an assistant professor on machine-checking / formally verifying cryptographic implementations. Although experience with cryptography is a big plus, I would also consider candidates with experience in verifying functional correctness for other applications (if you are willing to look at cryptography).

The opening is here:

If you have questions, feel free to reach out – best via mail, or here.