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

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.

my take on bringing HCI to PL blog.sigplan.org/2024/11/21/e...

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