Eva Darulova
malyzajko.bsky.social
Eva Darulova
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
Reposted by Eva Darulova
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...
University of FreiburgText icon 'Universität Freiburg'Seal element of the university of freiburg in the shape of a flowerSearch iconMenu iconText icon 'Universität Freiburg'Search iconMenu iconhomehom...
uni-freiburg.de
March 26, 2025 at 4:38 PM
📣 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
March 13, 2025 at 3:37 PM
Reposted by Eva Darulova
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-...
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...
2025.ecoop.org
December 28, 2024 at 7:17 PM
Reposted by Eva Darulova
CAV (International Conference on Computer Aided Verification) is now also on Bluesky!
Please follow @confcav.bsky.social and help us spread the word.
November 27, 2024 at 8:12 PM
Reposted by Eva Darulova
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...
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…
medium.com
November 18, 2024 at 5:45 PM
Reposted by Eva Darulova
Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x
November 16, 2024 at 2:17 AM