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.
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.
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
