71 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
-
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
-
. * 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
-
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
-
We are currently offering two doctoral student positions focused on developing novel AI-driven methods for polymer design and engineering, with an emphasis on the discovery and design of polymeric
-
on flexible microsystems that can be implanted in the body, for example as part of nerve-controlled bionic limbs or for direct coupling to signals in the brain. We develop nano- and microfabrication methods
-
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