70 software-formal-method-phd positions at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
theory, and/or formal verification of automation systems. The PhD should have been awarded no more than three years prior to the application deadline.* Strong written and verbal communication skills in
-
theoretical methods are developed and used to meet a multitude of research challenges. As a PhD student, you will be associated with one of our graduate schools . The Department of Physics offers a stimulating
-
, 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
-
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
-
University of Gothenburg. You will explore how Bayesian methods can enable risk-aware, real-time trajectory planning and contribute to the development of autonomous vehicles that are both safe and trustworthy
-
, 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
-
We invite applications for a PhD position that explores the impact of Artificial Intelligence (AI) on Higher Education, in particular within STEM (Science, technology, engineering and mathematics
-
. The successful candidate is expected to collaborate with PhD students working on related topics within the group. The position involves supporting research through tasks such as: Collecting data from archival
-
key—you will work closely with researchers and PhD students within the Division of Marine Technology. Your responsibilities Your main responsibilities will include: Benchmark study: Compare and evaluate
-
the local and distant universe. You will join a vibrant and collaborative research environment that combines observations, theory, and data-intensive methods to explore key processes shaping galaxies and