🚨 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!

PriSC 2026 - POPL 2026 10th Workshop on Principles of Secure Compilation Today’s computer systems are insecure. The semantics of mainstream low-level languages like C provide no security against devastating vulnerabilities ...

🚨 Call for Presentations – PriSC 2026

We welcome presentations on secure compilation, multi-language security, low-level enforcement, etc.

Have exciting ideas to share with the community? Submit a 2-page abstract: popl26.sigplan.org/home/prisc-2...

Last week was the final one at KU Leuven. I'm grateful to my wonderful colleagues who made it such an enjoyable place to work.

Now it’s time for a new chapter: I’m excited to join EURECOM as an assistant professor this September! 🥳

Huge implications from this: Microsoft cut off the email of the chief prosecutor of the International Criminal Court, because of his work on Israel www.nytimes.com/2025/06/20/t...

Registrations for the Decrypting Diversity Summit are open:

decryptingdiversity.com/registration/

The event's focus is to develop actions to better support underrepresented groups in cryptography while showcasing the exceptional career paths and research contributions of these communities.

a poster announcing the dimva diversity grants, highlighting the application date of may 31st.

We are committed to supporting diversity in our community!
DIMVA'25 offers diversity grants of up to 800€ for participants who identify as women, non-binary, or belong to other underrepresented groups in IT security.

Apply until May 31! 👉 dimva.org/dimva2025/#d...

Haven't seen this on Bluesky yet: S&P 2027 will take place in Montreal, Canada!

The program for the Summer Research Institute at EPFL (June 12-13) is out!

Lots of exciting talks about security, systems, and formal methods. I'm looking forward to speaking there 🤩!

Plus, the event is free and offers fellowships to support participation, so make sure to register at suri.epfl.ch

The evidence for biosignatures on K2-18b is flimsy, at best A Cambridge-based team claims to find molecules on an exoplanet that are only produced by life on Earth. Don't fall for the unfounded hype.

The evidence for biosignatures on K2-18b is flimsy, at best

Last week, Cambridge scientists announced the discovery of DMS and DMDS on K2-18b: what they call a "surefire biosignature."

Now, cut through the hype and get to the truth.

bigthink.com/starts-with-...
#space #astronomy #science