36 software-formal-method-phd research jobs at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
, 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
-
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
-
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
-
strategies to address them within the scope of the project Develop new agentic AI methods for the autonomous configuration and deployment of 6G core functions in the edge-cloud continuum Design, develop, and
-
, advanced electrolyte systems, and strategies for stabilizing metal anodes. We have a strong track record in developing innovative methods and extending characterization techniques to new applications and
-
, you will develop methods to functionalize graphene with a range of bio-receptors (aptamers, antibodies, Cas9) while maintaining its exceptional sensing properties. Together with other team members, you
-
experience will strengthen your application: Experience with cryogenic methods, liquid phase electron microscopy, battery materials, and related sample preparation techniques is considered a merit. What you