72 software-formal-method-phd positions at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
fundamental questions about the particles and forces governing our Universe to energy-related research. The methods of our investigations are also diverse and complementary, and range from theory and computer
-
statistical clustering methods to develop a typology of interface conditions. The doctoral student will also lead an empirical study assessing how different interface types affect street liveliness and
-
protein engineering, synthetic chemistry, nucleic acid technology, and state-of-the-art biophysical methods (spectroscopy, live cell imaging and nanotechnology) to address cutting-edge questions in biology
-
We are seeking a motivated and creative PhD student to explore safe and trustworthy planning under uncertainty in multi-agent systems. They will collaborate on interdisciplinary research which draws
-
products. We use advanced computational technologies to discover how biomolecules and organisms function and interact. We pioneer new methods for prediction, prevention, diagnostics and treatment of diseases
-
the design guide in future projects to manage highly polluted stormwater. The project builds on an ongoing PhD study in which 13 bioretention filters have been examined over a period of three years in a field
-
to supervise master’s and/or PhD students to a certain extent. Contract terms The position is a temporary full-time employment for two years. The position requires physical presence throughout the entire
-
master’s and/or PhD students to a certain extent Possibility to engage in teaching at undergraduate/master’s level The position is meritorious for future roles in academia, industry, or the public sector
-
, and high-performance computing. About the division and department With more than 30 faculty members, more than 100 PhD students, and more than 300 employees, the Department of Microtechnology and
-
This PhD project covers a broad range of research topics in network security, with priority given to candidates interested in the network-layer security challenges of distributed systems like