-
. Charlotte Fløe Kristjansen Start date is (expected to be) 1 January 2026 or as soon as possible thereafter. The project The theme of the PhD project would be exact methods in holography and their application
-
PhD fellowship in Computer Supported Cooperative Work (CSCW) PhD Project in Novel Computer Science Teaching Methods considering Neurodiversity, Physical Computing, and Universal design in teaching
-
conversion reactions. The second position is focused on modelling stability of electrocatalyst materials. The aim is to develop a framework to predict metastability of catalyst materials. Among the methods
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions