Research Associate/ PhD Student/ Postdoc positions at TU Dresden
Multiple Research Associate/ PhD Student/ Postdoc positions are available at TU Dresden. Read More …
Category: PhD Positions
10 PhD Positions in LogiCS@TUWien
The doctoral college at TU Wien (Technical University Vienna) has 10 open full-time PhD positions supported by the novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme. The application deadline is April 30 2022. See the full call here or read it below.
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:
Italian National PhD Program in Artificial Intelligence @ Sapienza Consortium
Applications are welcome from students who are interested in AI foundational topics, as well as students who are interested in the application of AI in Security and Cybersecurity. The deadline for applications is July 23, 2021. 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.
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
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 …
Upcoming Deadline: PhD in CSE (Vienna, Graz, or Linz)
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 …
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 position with LogiCS at TU Wien
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
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
If you are looking for a Ph.D. position the website Find A Ph.D. might be useful to you.
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/
PhD position with FORSYTE at TU Wien
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
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.