🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Interested in doing a postdoc on program analysis and software engineering? Consider applying to Maria Christakis' group at TU Vienna! (see jobs.tuwien.ac.at/Job/192142?cul… for more details)

🚨Doctoral Symposium @ FM 2023 The symposium provides a venue for PhD students to present their work & get feedback. Submissions are 4-page abstracts. * Deadline: 1st Dec 2022 * Notification: 20th Dec 2022 Details: fm2023.isp.uni-luebeck.de/index.php/doct… #FormalMethods #FormalMethods23

Visa Gods didn't let me present my work on floating-point loop invariant synthesis @ SAS in person, but YouTube has everything recorded! Check out our method that combines CEGIS and simulation to generate FP invariants for numerical loops: youtu.be/SR2-6ipQeZs

I'm hiring PhD students and postdocs in Vienna! If you are interested in program analysis and bug finding, please apply! PhD: jobs.tuwien.ac.at/Job/198529 Postdoc: jobs.tuwien.ac.at/Job/198528 Deadline: 26.01.23

.Eva Darulova gave an amazing talk at #LambdaDays 2022 where she gave an overview of her recent research results for formal verification of floating-point programs, focusing in particular on what is possible today when analysing functional programs. 👇 youtu.be/q7u4J76ILFs

Please spread the word! I’m recruiting for two fully-funded PhD students sponsored by AMD (home or OS). Will pay both fees and living expenses. You will get to work with a great team at Imperial College London and with spatialml. Email me with a CV to express an interest.

Well, this happened :) My thesis is done and submitted!

The state of computer security is like having all of our buildings made of wood but we're celebrating arsonists. andrumyers.wordpress.com/2015/06/17/106/

Check out this great work by my student Debasmita Lohar

Open PhD position in PL (lots of type opportunities) with Tobias Wrigstad at Uppsala University: jobb.uu.se/details/?posit…

Proud advisor moment: Debasmita Lohar is presenting the last conference paper of her PhD at EMSOFT. Well done! Also check out the paper: dl.acm.org/doi/10.1145/36…

If you missed the talk but want to learn about scalable rounding error analysis on loops over data structures, please find me SPLASH Conference , I’ll be around until Friday 😊

Proud (co-)advisor moment: Anastasia (Anastasia Isychev) just presented the last work of her PhD, and nailed it!

The last talk of the session is given by Rosa Abbasi Boroujeni, with Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs

I'm just going to post this, because Ben L. Titzer hasn't and should... Ben L. Titzer (and I, but more Ben) are looking for PhD students at CMU interested in WebAssembly! Deadline: Dec 13 We're also looking for a research engineer! RT for reach plz?♥️ If interested in a

Open PhD position: CIM (Centre for Interdisciplinary Mathematics) has open PhD positions; I will be a co-advisor on project #8 (mixed-precision in HPC: math.uu.se/research/centr…). Application deadline is 22 March 2024!

📢 Call for student volunteers @ ISSTA/ECOOP 2024 You are a student and eager to meet new people, help the community and attend ISSTA/ECOOP for free? Join our team of volunteers! 🗓️ Apply by: May 15 🔗 Fill this form: tinyurl.com/issta24-volunt… More info: tinyurl.com/issta24-volunt…

📢 Looking for a PhD student to work with me on verifying real-world numerical programs! Pls share if you know someone who may be interested. Message me to know more about the position or living in Sweden (it's great)! Deadline to apply 26 April: jobb.uu.se/details/?posit…

Proud advisor moment: my PhD student Debasmita Lohar has just defended her thesis with flying colors! 🎉

Happy to share that my project "Holistic Rigorous Numerical Verification" has been selected for an European Research Council (ERC) Starting grant! 😀 More cool work on finite precision is to come... #ERCStG