Job Postings – CAVlinks

Postdocs available in formal analysis of code for secure hardware

Posted onAugust 31, 2020August 31, 2020AuthorHadar Frenkel

Do you have a PhD (or will you soon have) in runtime verification, symbolic execution, fuzzing, automated reasoning, interactive theorem proving, or other methods for statically or dynamically reasoning about software systems?

We are looking for two outstanding and ambitious postdoctoral research associates to work on our “SCorCH: Secure Code for Capability Hardware” project (https://scorch-project.github.io/). SCorCH is a collaboration between The University of Manchester, The University of Oxford, ARM Ltd, and Amazon Web Services that will leverage new advances in formal analysis tools to find security issues in code running on a new generation of security-aware hardware chips i.e. Capability Hardware. Our website provides an overview of our vision.

Postdoc in Security for Neural Architectures at the University of Manchester, UK

Posted onAugust 31, 2020August 31, 2020AuthorHadar Frenkel

We are excited to announce a new project called EnnCore, End-to-End Conceptual Guarding of Neural Architectures, funded as part of the UKRI call “Security for all in an AI-enabled society”. EnnCore will run from 2021-2024 in collaboration with The University of Manchester, The University of Liverpool, digital Experimental Cancer Medicine Team (dECMT), and Urbanchain. Read More …

Research Internships at Microsoft’s PROSE Team

Posted onAugust 6, 2020August 6, 2020AuthorNorine Coenen

Check out the PROSE team at Microsoft to learn about how program synthesis enhances products and user experiences:

The PROSE team at Microsoft has pioneered the use of techniques based on program synthesis to create experiences that users describe as magical.

Postdoctoral Researcher Positions at the University of Texas at Austin

Posted onJuly 24, 2020July 24, 2020AuthorNorine Coenen

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 …

Faculty Opening in Cyberphysical Systems at the University of Waterloo

Posted onJuly 24, 2020July 24, 2020AuthorNorine Coenen

The Department of Electrical & Computer Engineering at the University of Waterloo urgently invites applications for a tenure track position with an anticipated start date of January 01, 2021. Please find more information on this website.

Research Developer @ CSE Dept. Oxford University

Posted onJune 18, 2020June 18, 2020AuthorClaudia Cauli

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)

Posted onApril 23, 2020April 23, 2020AuthorClaudia Cauli

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 …

Upcoming Deadline: PhD in CSE (Vienna, Graz, or Linz)

Posted onJanuary 8, 2020January 8, 2020AuthorClaudia Cauli

11 Fully Funded Doctoral Positions in Computer Science, Austria (Vienna, Graz or Linz) Deadline: January 11, 2020 TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidatesfor our joint doctoral program Logical Methods in Computer Science(logiCS). The LogiCS doctoral college focuses on interdisciplinaryresearch topics covering – computational logic, and applications of logic to Read More …

Applied Scientist Intern @ Automated Reasoning Group (AWS)

Posted onSeptember 26, 2019September 26, 2019AuthorClaudia Cauli

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

Posted onAugust 26, 2019August 26, 2019AuthorClaudia Cauli

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

Posted onAugust 24, 2019August 24, 2019AuthorClaudia Cauli

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.

Software Engineer @ Google – Static Code Analysis and Program Analysis

Posted onAugust 6, 2019August 6, 2019AuthorCAVlinks

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 …

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

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.

Jobs at Stack Overflow

Posted onJuly 9, 2019July 11, 2019AuthorCAVlinks

Check out the available jobs and internships at StackOverflow

Internship and Job Database

Posted onJuly 9, 2019July 11, 2019AuthorCAVlinks

This website has a lot of internship opportunities and job postings from many different areas.

Open Position in Tokyo: Formal Methods, Learning and Cyber-Physical Systems

Posted onJuly 4, 2019July 11, 2019AuthorCAVlinks

What: Senior researchers, Postdocs, PhD students and Internships
Where: Tokyo
When: Now till March 2022
Website: https://group-mmm.org/eratommsd/openpositions/

PhD position with FORSYTE at TU Wien

Posted onJuly 4, 2019July 10, 2019AuthorCAVlinks

Prof. Pavol Cerny is hiring two PhD student for FORSYTE (Formal Methods in System Engineering) group in the Institute of Logic and Computation at Technische Universität Wien (TU Wien).

Share with the CAV community

Posted onJuly 1, 2019July 11, 2019AuthorCAVlinks

Would you like to share any study material or do you have any announcements regarding job openings, conferences, scholarships, …? We are happy to publish your ideas and information here on CAVlinks! Please contact us using this form.