Klaus v. Gleissenthall
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
Reposted by Klaus v. Gleissenthall
🚨 EURECOM is recruiting a PhD student (and master-level interns) on verification and testing at the hardware-software boundary
🌄 Amazing location between sea & mountain
💡 3-year position
🌍 International environment (no French required!)
You're a curious and motivated student? Reach out!
🌄 Amazing location between sea & mountain
💡 3-year position
🌍 International environment (no French required!)
You're a curious and motivated student? Reach out!
September 22, 2025 at 9:50 AM
🚨 EURECOM is recruiting a PhD student (and master-level interns) on verification and testing at the hardware-software boundary
🌄 Amazing location between sea & mountain
💡 3-year position
🌍 International environment (no French required!)
You're a curious and motivated student? Reach out!
🌄 Amazing location between sea & mountain
💡 3-year position
🌍 International environment (no French required!)
You're a curious and motivated student? Reach out!
Reposted by Klaus v. Gleissenthall
Last but not least, the SIGPLAN Robin Milner Young Researcher Award was also announced at PLDI. This year, the award went to Işıl Dillig ( @idillig.bsky.social ), whose research has had profound and far-reaching contributions to program analysis, verification, and synthesis ⭐️
June 28, 2025 at 4:15 AM
Last but not least, the SIGPLAN Robin Milner Young Researcher Award was also announced at PLDI. This year, the award went to Işıl Dillig ( @idillig.bsky.social ), whose research has had profound and far-reaching contributions to program analysis, verification, and synthesis ⭐️
Reposted by Klaus v. Gleissenthall
Found a nice proof technique in your Crypto submission that deserves more attention? Do you have an elegant security proof that the community should know about? Or a new approach to cryptographic proofs?
Tell us about it!
Deadline *February 20*
Tell us about it!
Deadline *February 20*
ProTeCS 2025 will be back at Eurocrypt! Join us to celebrate and discuss cryptographic proof techniques in Madrid, May 3.
And consider submitting a short talk abstract to tell the community what *you* are excited about! Deadline February 20. protecs-workshop.gitlab.io
And consider submitting a short talk abstract to tell the community what *you* are excited about! Deadline February 20. protecs-workshop.gitlab.io
ProTeCS 2025
Workshop on Proofs and Proof Techniques for Cryptographic Security. Affiliated with Eurocrypt 2025.
protecs-workshop.gitlab.io
February 17, 2025 at 7:22 PM
Found a nice proof technique in your Crypto submission that deserves more attention? Do you have an elegant security proof that the community should know about? Or a new approach to cryptographic proofs?
Tell us about it!
Deadline *February 20*
Tell us about it!
Deadline *February 20*
Do you want to work on security at the interface of hardware and software? Do you like programming languages, types, formal methods, and security? Do you want to do all that in beautiful Amsterdam? I still have open PhD positions on an ERC funded project at VU Amsterdam. Get in touch!
November 30, 2024 at 7:48 PM
Do you want to work on security at the interface of hardware and software? Do you like programming languages, types, formal methods, and security? Do you want to do all that in beautiful Amsterdam? I still have open PhD positions on an ERC funded project at VU Amsterdam. Get in touch!