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
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
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
📣 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
Deadline to apply: 22 April. Start date is flexible.
Find the links to ad and application portals on my website: malyzajko.github.io
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-...
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
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-...
2025.ecoop.org/track/ecoop-...
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.
Please follow @confcav.bsky.social and help us spread the word.
November 27, 2024 at 8:12 PM
CAV (International Conference on Computer Aided Verification) is now also on Bluesky!
Please follow @confcav.bsky.social and help us spread the word.
Please follow @confcav.bsky.social and help us spread the word.
Reposted by Eva Darulova
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
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...
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
Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x