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.