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!
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
Internship description and application here –>www.amazon.jobs/jobs/943766 The Automated Reasoning Group in AWS Platform is looking for PhD Interns interested in formal methods and programming languages. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness. We call this provable security, absolute assurance in security of Read More …
The Automated Reasoning Group, ARG, is looking for new PhD Interns with flexible start dates in 2020! Email CV to firstname.lastname@example.org for more information.