25 software-formal-method-phd uni jobs at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
methods for creating innovative heat-exchanger geometries with high efficiency and sustainability in mind. You will use open-source machine learning software provided by Meta AI and OpenAI, deployed
-
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
-
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
-
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
-
Join us as a PhD student exploring how contractor organizations translate digitalisation strategies into practice, where strategic visions meet project realities, and research meets industry
-
. 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
-
in world-class research and to play a central role in advancing our experimental methods and laboratory capabilities. The department and research environment The Department of Microtechnology and
-
, obtained by avoiding crystallization during solidification. However, conventional manufacturing methods limit part size and geometry, restricting their industrial use. Laser-based additive manufacturing (AM
-
submission to the European Commission. You’ll support participants with administrative formalities and IT tools; plan and organize project activities, meetings and events; and ensure smooth communication
-
these phenomena. About the research project The topic of the PhD project will be about tunable self-assembled optical microcavities, and similar lines, summarized in these publications: The self-assembly processes