7 software-verification-postdoc PhD scholarships at Chalmers University of Technology
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
postdocs at Chalmers, and collaborate with academic and industrial partners in Sweden and internationally. The role also offers opportunities for travel and engagement with external collaborators. Research
-
senior researchers, three postdocs and three PhD students. It is embedded in an interdisciplinary environment where we have close collaboration with other research teams at Chalmers such as technology
-
Technology Laboratory (QTL) division of the Microtechnology and Nanoscience (MC2) department, working in a large team of PhDs, postdocs and researchers. About the research We are seeking PhD students to work
-
competitive performance. This position is supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP). WASP is Sweden’s largest individual research program ever, a major national initiative
-
include: Developing the model using open-source Python software Planning and conducting experiments Analysing teardown reports and experimental data Validating and improving the model Publishing results in
-
or technical writing. Meritorious qualifications: Understanding of urban planning in relation to climate adaptation and traffic management. Experience with advanced hydrological modelling software at catchment