CAVlinks – CAVlinks

We forward this job posting received by a Google Recruiter for a position as Software Engineer with experience in Static Analysis in Silicon Valley, CA, USA: Google aspires to be an organization that reflects the globally diverse audience that our products and technology serve. We believe that in addition to hiring the best talent, a Read More …

A Program Synthesis Primer – Slides & Code

Posted onJuly 14, 2019July 16, 2019AuthorCAVlinks

By Aws Albarghouthi.

In this repository https://github.com/barghouthi/vmw19, you can find the slides and code of the talk given during the Verification Mentoring Workshop, CAV2019, about program synthesis!

How to write a paper

Posted onJuly 11, 2019October 22, 2019AuthorCAVlinks

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).

Call for Papers – TACAS 2020

Posted onJuly 11, 2019August 6, 2019AuthorCAVlinks

26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Website: https://www.etaps.org/2020/tacas

SAT/SMT winter school

Posted onJuly 11, 2019July 11, 2019AuthorCAVlinks

When: December 8-10, 2019
Where: IIT Bombay, India
Website: http://sat-smt.in/

PhD position with LogiCS at TU Wien

Posted onJuly 11, 2019July 11, 2019AuthorCAVlinks

Prof. Ezio Bartocci (supervisor) and Dr. Laura Nenzi (co-supervisor) are hiring a PhD student at the Institute of Computer Engineering at Technische Universität Wien (TU Wien).

Helmut Veith Stipend

Posted onJuly 10, 2019July 10, 2019AuthorCAVlinks

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

Call for Participation – ITP 2019

Posted onJuly 10, 2019July 10, 2019AuthorCAVlinks

10th International Conference on Interactive Theorem Proving

Website : https://itp19.cecs.pdx.edu/

Ph.D. and Postdoc Positions

Posted onJuly 10, 2019July 10, 2019AuthorCAVlinks

Prof. Matteo Maffei is hiring!
Check out his website for more information on the available Ph.D. and postdoc positions if you are interested in security and privacy research.

Ph.D. Position Database

Posted onJuly 10, 2019July 10, 2019AuthorCAVlinks

If you are looking for a Ph.D. position the website Find A Ph.D. might be useful to you.

Marktoberdorf Summer School

Posted onJuly 10, 2019July 10, 2019AuthorCAVlinks

When: Usually happens in July or August
Where: Marktoberdorf, Munich, Germany
Website: https://www2.in.tum.de/mod19/index.html (for year 2019)

Summer School on Formal Techniques

Posted onJuly 10, 2019July 10, 2019AuthorCAVlinks

When: Usually happens in May
Where: Menlo college, Atherton, CA
Website: http://fm.csl.sri.com/SSFT19/ (for year 2019)

Mentoring – Automata and Visit Israel

Posted onJuly 9, 2019July 9, 2019AuthorCAVlinks

I’m Hadar, a PhD student at the Technion, Israel. If you are interested in automata and their use in verification, or if you plan a visit to Israel and need some guidance, you are more than welcome to contact me!