2 automatic PhD positions at Chalmers University of Technology in Sweden

Up to two PhD positions at the intersection of Formal Verification and Planning

Chalmers University of Technology | Sweden | 16 days ago

implementation. About the project Reactive synthesis refers to the automatic generation of programs from high-level behavioral specifications. This approach plays an increasingly important role in areas such as

PhD in experimental superconducting quantum computing

Chalmers University of Technology | Sweden | about 16 hours ago

-fabrication processes for superconducting devices Automatic bring-up and calibration of quantum processors Design and simulation of quantum processors Optimal-control techniques for high-fidelity qubit