25 software-verification-computer-science PhD positions at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
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
-
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
-
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
-
What does policy and practice for recruitment to university STEM (Science, Technology, Engineering, and Mathematics) education look like, and what are the consequences for equality and social
-
of the technology in the companies in Software Center. About us The Department of Computer Science and Engineering at Chalmers and University of Gothenburg in Sweden with approximately 300 employees from more than
-
to optimally prepare it for use in AI-driven systems and solutions. About us The Department of Computer Science and Engineering at Chalmers and University of Gothenburg in Sweden with approximately 300
-
PhD Position in Theoretical Machine Learning – Understanding Transformers through Information Theory
Sweden and beyond. About WASP Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a major national initiative for strategically motivated
-
buildings, within a cross-disciplinary environment spanning architectural design, digital technologies and biomaterials science. PhD project summary The PhD student will join our cross-disciplinary research
-
modelling at both catchment and road scales, incorporating input from relevant stakeholders.The candidate will gain extensive knowledge in hydrological modelling, climate adaptation, road engineering, and