PhD and Postdoc Positions on Formal Methods in Germany
Heike Wehrheim is a professor at the University of Oldenburg and is looking for PhD students and PostDocs. Read her offer below:
Tag: Formal Methods
PostDoc/Senior Researcher in Smart Contract Security Analysis using Formal Methods
Open Post-doc/senior researcher position working on smart contract security analysis using formal methods in the Cryptography and Blockchain Lab at the University of Warsaw, Poland. Read More …
PostDoc at Inria / École Normale Supérieure in Paris
Two-year postdoc position available at Inria / École Normale Supérieure in Paris to work on static analysis and verification of machine learning pipelines in the scope of the Lyra and Libra projects. Read More …
Two Research Assistant positions in the Automated Verification group @ Oxford Computer Science
Two research assistant posts are being advertised to work with Professor Tom Melham in the Automated Verification research group at Oxford Computer Science. These are associated with the SCorCH (Secure Code for Capability Hardware) project, funded by the Industrial Strategy Challenge Fund Digital Security by Design (DSbD). There’s a 12-month position and a 24-month position, and both are to Read More …
Research Associate in Software Verification at the University of Manchester, UK
The Department of Computer Science at the University of Manchester (UK) seeks one Research Associate (RA) position to work on Automated Verification of CHERI C++ Programs. This RA position is full-time for two years, starting after October 1st, 2021, ideally January 1st, 2022. Read More …
PhD Positions in the ERC AdG Project WhiteMech – Sapienza Università di Roma
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 …
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.
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
Applied Scientist Intern @ Automated Reasoning Group (AWS)
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 …
PhD Internships @ AWS Automated Reasoning Group
The Automated Reasoning Group, ARG, is looking for new PhD Interns with flexible start dates in 2020! Email CV to arg-intern-interest@amazon.com for more information.
Open Position in Tokyo: Formal Methods, Learning and Cyber-Physical Systems
What: Senior researchers, Postdocs, PhD students and Internships
Where: Tokyo
When: Now till March 2022
Website: https://group-mmm.org/eratommsd/openpositions/