73 software-formal-method-phd positions at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
, critical in the design of plasma confinement devices. Modus operandi in the project is to make progress on these difficult question via structure-preserving numerical methods (cf. "matrix hydrodynamics
-
We invite applications for several PhD positions in experimental quantum computing with superconducting circuits. You will work in the stimulating research environment of the Wallenberg Centre
-
We are offering a WASP, The Wallenberg AI, Autonomous Systems and Software Program, funded PhD position that provides a unique opportunity to develop deep expertise in robotics, machine learning
-
with two leading Swedish industry partners. Main responsibilities Formulate research questions and develop strategies to address them within the scope of the project Develop new agentic AI methods
-
. * Applicants who have not yet completed their Doctoral degree are welcome to apply, provided that the degree will be awarded no later than June 15, 2026. Has experience with computational methods, programming
-
of complex and software-intense systems and is characterized by extensive international cooperation as well as close collaboration with the local industry. With approximately 50 researchers including PhD
-
spectrometry. The project involves developing characterization methods using mass spectrometry (FT-ICR, TOF-SIMS) and imaging techniques (SEM, TEM) for both biological and inorganic materials. Responsibilities
-
assemblies meet functional and aesthetic requirements despite manufacturing variation. The Chalmers Geometry Assurance & Robust Design Group develops integrated methods and tools that connect design
-
requirements despite manufacturing variation. The Chalmers Geometry Assurance & Robust Design Group develops integrated methods and tools that connect design, manufacturing, and metrology for robust, high
-
revolution in the field of legged robotics and their successful custom deployment in various applications. Project overview The aim of this project is to develop a software framework for AI based Holistic Co