PhD and PostDoc Positions at Tel Aviv University in Israel
Ori Lahav is looking for PhD candidates and PostDocs. He writes the following: … If you are interested, please feel free to contact Ori Lahav.
Author: Norine Coenen
How to Get an Internship – Tips for your Resume, Cover Letter, and 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. …
Advances in Verification – Call for Workshop Participation
Advances in Verification is a post conference workshop of FSTTCS 2020 and takes place online on December 18, 2020. Please find the Call for Participation and relevant links below. Note that even without registration you can attend the talks online via the live stream. Enjoy this workshop!
Software Security Course
In his course, Lucas Cordeiro introduces basic and advanced approaches to building formally verified and trustworthy software systems. Further information and the course material is available at the course webpage.
Open PhD Positions: Work with Underwater Robots
Fifteen amazing PhD positions in the REMARO project are now available! REMARO is a new Marie-Curie network at the intersection of in AI and formal verification, and at the intersection between academia and companies developing underwater robots.
Application deadline: January 1, 2021 Anywhere on Earth
Marktoberdorf Summer Schools
Unfortunately, this year’s international summer school in Marktoberdorf had to be cancelled… But you still can find many interesting resources like slides and tutorials from the previous years on the summer school’s website! Read More …
Research Internships at Microsoft’s PROSE Team
Check out the PROSE team at Microsoft to learn about how program synthesis enhances products and user experiences:
The PROSE team at Microsoft has pioneered the use of techniques based on program synthesis to create experiences that users describe as magical.
Postdoctoral Researcher Positions at the University of Texas at Austin
Please note the following offer from the University of Texas at Austin: We invite applications for one or more postdoctoral researcher positions available immediately — open until filled — at the University of Texas at Austin. The candidates are expected to conduct research at the intersection of formal methods and learning with problems drawn from Read More …
Faculty Opening in Cyberphysical Systems at the University of Waterloo
The Department of Electrical & Computer Engineering at the University of Waterloo urgently invites applications for a tenure track position with an anticipated start date of January 01, 2021. Please find more information on this website.
Did you miss the Verification Mentoring Workshop 2020?
No problem, you can still watch all the talks on YouTube! The links to the videos are included in the workshop program. Enjoy the workshop at your own pace and also check out the rest of the program at CAV 2020.
Mental Health Webinar
The Mental Health Working Group of the Leibniz PhD Network hosted a ‘webinar about mental health strategies during the COVID-19 pandemic’ also linking to ‘more resources for doctoral researchers’. Check out the recording of the webinar and the list of further resources here.
Looking Forward to VMW’20
This year’s Verification Mentoring Workshop is going to have an amazing program – judging by the speakers that are already confirmed! Convince yourself on the VMW website where you will also find the latest updates (also check the CAV’20 homepage for updates).
Anti-Ph.D.-Panic Lecture
Check out Jilles Vreeken‘s entertaining talk on how to cope with your Ph.D. panic.
Heidelberg Laureate Forum – A Unique Experience
“Laureates of mathematics and computer science meet the next generation.” With this motto, the Heidelberg Laureate Forum offers the perfect setting to get to know world-renown experts from the fields of mathematics and computer science (winners of, e.g., the Turing Award). Additionally, you will meet 200 bright young researchers with diverse backgrounds who aspire to be the future leaders in these areas.
How to Prepare a Good Talk
Check out Ranjit Jhala‘s talk at the Verification Mentoring Workshop 2019 for tips on how to prepare good talks.
How to Be a Productive Student?
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.
Tradeoffs between Academia and Industry
Manu Sridharan, from the University of of California, Riverside, talked about the use of program analysis in academia and industry at the Verification Mentoring Workshop 2019:
Tips for Your Elevator Pitch
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:
Reactive Synthesis
Here you can find the slides from the advanced lecture on Reactive Synthesis by Swen Jacobs and Martin Zimmermann.
CAV: VMW and Buddy Program
Attending the Verification Mentoring Workshop and participating in the Buddy Program are great ways to expand your professional network in the CAV community. Feel free to contact Norine if you have any questions regarding the VMW or the Buddy Program.