Lecturer in Programming Principles, Logic, and Verification at UCL
University College London has an opening for Lecturer or Associate Professor in Programming Principles, Logic, and Verification. See here for further details.
Category: Faculty Positions
Senior Lecturer in Systems Security at the University of Manchester
The Department of Computer Science at the University of Manchester is the longest established department of computer science in the United Kingdom; in the most recent national research review (Research Excellence Framework), the department was rated 1st for research environment and in the top 5 for research quality. As part of significant ongoing investment, the Read More …
Faculty Opening in Cyberphysical Systems at the University of Waterloo
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.
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 …
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/
Share with the CAV community
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.