42 verification-computer-science-"Multiple" PhD positions at Chalmers University of Technology
Sort by
Refine Your Search
-
of Computer Science and Engineering (CSE)Chalmers University of Technology University of Gothenburg You will be part of the Computing Science Division The appointed candidates will also join a vibrant community of over
-
Are you interested in developing computational tools to understand the detailed mechanical behaviour of multi-phase materials? Then this PhD position at Chalmers University of Technology might be
-
Environment Technology (WET), Department of Architecture and Civil Engineering As a PhD student, you will be part of the research group in Wastewater Management and Environmental Biotechnology Our research
-
%) Complete coursework relevant to the PhD program Your profile Required qualifications MSc degree in Environmental Engineering, Chemical Engineering, Civil Engineering, Biotechnology, or a related field
-
Exciting Opportunity in Sustainable Energy Research: Join Us in Advancing Hydrogen Storage Technology! Hydrogen is a critical energy carrier for future sustainable systems. One issue using hydrogen
-
(SPEs) for next-generation solid-state batteries. The position is a full-time employment at the Department of Computer Science and Engineering at Chalmers University of Technology, and based in Gothenburg
-
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
-
full-time employment at the Department of Computer Science and Engineering at Chalmers University of Technology, and based in Gothenburg, Sweden. The student will form a part of a new NEST initiative
-
in the management of technology, people, and organization, and a desire to make groundbreaking contributions to the field of maintenance engineering. PhD Project overview The project focuses
-
, for example, a 4-year bachelor's degree is accepted. Previous coursework in cyber-physical systems, formal verification, computational logic, AI, or statistical methods would be beneficial but not required