Several Postdoc and PhD Positions Available
Several Postdoc and PhD positions are available to work on several topics at two institutions. Read More …
Tag: Verification
Post-Doctoral Research Assistant at Royal Holloway, University of London
Applications are invited for the post of Post-Doctoral Research Assistant in the Computer Science Department at Royal Holloway, University of London. The application deadline is Oct 17, 2021. 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 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!
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 …
Fully-Funded PhD position on Probabilistic Verification @ Utah State University
A PhD position is available (fully paid for 4 years with the possibility of extension) at the Electrical and Computer Engineering Department of Utah State University. The expected starting date is early January 2020. PhD application information is available at: https://engineering.usu.edu/ece/files/pdfs/ece-graduate-program-application-info.pdf Abstract: Synthetic biology and nanotechnology place increasing demands on design methodologies to ensure dependable and robust operation. Consisting 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.
Advanced Course on Software Verification
You can find slides by Prof. Orna Grumberg for automatic verification of software, using this link.