A sharing platform for the Computer-Aided Verification community
The Department of Computer, Control and Management Engineering of Sapienza Università di Roma (Italy) is looking for enthusiastic PhD students interested in solving realistic-size and practical synthesis, planning, and acting problems in the hot topics of resilient self-programming in several contexts (Cybersecurity, Smart Manufacturing, or Digital Healthcare and Digital Finance). Students can apply to two Read More …
Check out this article if you are planning to do an internship, you can find useful tips and examples there. The article discusses everything from finding the right opportunity up to some common interview questions. …
Check out Ranjit Jhala‘s talk at the Verification Mentoring Workshop 2019 for tips on how to prepare good talks.
Ruzica Piskac, computer science professor at Yale University, shared some tips on how to be a productive student at the Verification Mentoring Workshop 2019. Check out the slides of her amazing talk.
This year at the VMW, we had a great hands-on session to practice the so-called elevator pitch. It is meant to be a quick presentation of your current research to someone that you are just meeting and who is asking about your research. If you want to improve your own elevator pitch you can find some tips on these slides:
Prof. Larry Paulson wrote this wonderful short guide on how to write a paper. You can find the slides and more interesting mentoring tips on the Verification and Deduction Mentoring Workshop website (FLoC 2018).
For whom: Female student in CS who plan to pursue or pursuing master’s program at TU Wien
Deadline: November 30, 2018
Website: See for more details