A sharing platform for the Computer-Aided Verification community
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 Jilles Vreeken‘s entertaining talk on how to cope with your Ph.D. panic.
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).