3 formal-verification-computer-science PhD positions at Chalmers University of Technology
Sort by
Refine Your Search
-
for Quantum Technology (WACQT, http://wacqt.se ). The core project of the centre is to build a quantum computer based on superconducting circuits. You will be part of the Quantum Computing group in the Quantum
-
, VR, WASP, Google, Amazon, Facebook, and OpenAI, as well as the Chalmers PhD Supervisor of the Year award). Information about the department The Department of Computer Science and Engineering is a
-
of the following or related fields: Robotics Computer Science Electrical and Computer Engineering Mechanical Engineering Applied Mathematics Applied Physics Statistics and Optimization A strong background in
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions