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!

22.09.2025 09:50 — 👍 5    🔁 4    💬 0    📌 0

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 ⭐️

28.06.2025 04:15 — 👍 28    🔁 7    💬 1    📌 0

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*

17.02.2025 19:22 — 👍 5    🔁 3    💬 0    📌 0

Bridge in Amsterdam with bicycle.

VU Amsterdam main building.

Amsterdam by night.

Van Gogh Museum and Rijksmuseum

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!

30.11.2024 19:48 — 👍 7    🔁 0    💬 0    📌 0