Our department in lovely Freiburg has an opening for a Full Professorship (W3) on Software Engineering (succession of Andreas Podelski) with a more technical and formal focus uni-freiburg.de/en/job/00004...

📣 I have open PhD and postdoc positions in "Practically Usable Verification for Numerical Programs", located in Uppsala, Sweden.
Deadline to apply: 22 April. Start date is flexible.
Find the links to ad and application portals on my website: malyzajko.github.io

I got mistaken this week for a very confused student when I came to the exam hall half-way through the exam to answer questions. I even said that I came to answer questions.

ECOOP 2025 - Technical Papers - ECOOP 2025 ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to pro...

Get your ECOOP papers ready for the new year! ECOOP'25, held in Bergen, Norway, solicits practical and theoretical investigations of programming languages, systems and environments. Round 1 submissions are due January 6 AoE:

2025.ecoop.org/track/ecoop-...

CAV (International Conference on Computer Aided Verification) is now also on Bluesky!
Please follow @confcav.bsky.social and help us spread the word.

Evaluating Human Factors Beyond Lines of Code Software systems researchers want to make human-centered claims, but don’t have the proper tools to do so. That’s how we ended up with the ubiquitous lines-of-code comparison found in e…

my take on bringing HCI to PL

blog.sigplan.org/2024/11/21/e...

Tech Barbie’s Backstory: How she went from “math is hard” to robotics engineer Learning to code can be an exciting journey, but having to overcome stereotypes along the way makes it a more difficult one. Girls deal…

It's the 10 year anniversary of one of the coolest things I've ever done on the Internet: My feminist remix of Mattel's absurdly sexist Computer Engineer Barbie book. A thing I did to procrastinate from writing my dissertation but then resulted in me consulting for Mattel. medium.com/csforall-sto...

Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x