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 …

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

Read More …

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 …

Research Developer @ CSE Dept. Oxford University

Research Developer on Ada Security Vulnerabilities Assessment Tool (ASVAT). Looks suitable as a development position pre/post-PhD gap. The Department of Computer Science has a new vacancy for two Research Developers on the Ada Security Vulnerabilities Assessment Tool and Process Development (ASVAT) project. Reporting to Martin Brain, and collaborating with project partner Altran, you will be Read More …

Tenure Track @ Czech Academy of Sciences (ICS CAS)

Tenure Track Research Position – Computer Science – Automation of Formal Reasoning The Institute of Computer Sciences of the Czech Academy of Sciences (ICS CAS), Prague, Czech Republic, invites applications for one tenure-track position in Computer Science. We especially seek applicants from fields that in one way or other contribute to the automation of formal Read More …

Software Engineer @ Google – Static Code Analysis and Program Analysis

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 …