56 software-formal-method-phd Postdoctoral positions at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
of Geoscience and Remote Sensing , we develop advanced methods and instruments to observe and understand the Earth system. Combining satellite, airborne and ground-based measurements with modelling and machine
-
Do you want to shape the future of biomanufacturing by combining computational biology with cutting-edge AI methods? We are seeking a postdoctoral researcher at the Division of Systems and Synthetic
-
, communication, engineering education research and strategic publishing. We offer tools for scientific communication and support researchers, teachers, students, and managers in choosing teaching methods
-
researchers, teachers, students, and managers in choosing teaching methods, publishing methods and information sources. Our library environment creates open meeting places for everyone. At the Division
-
and Engineering. About us You will join the Healthy AI Lab , a research group led by Associate Professor Fredrik Johansson , that develops machine learning methods and theory to improve data-driven
-
. Information about the project This project is part of QuantumStack, a 5-year project funded by the Swedish Foundation for Strategic Research, with the aim of developing a full software stack for programming
-
Description Ice and mixed-phase clouds remain a significant challenge for both observational methods and atmospheric modeling. However, recent advances in both areas offer promising opportunities for progress
-
Ice and mixed-phase clouds remain a significant challenge for both observational methods and atmospheric modeling. However, recent advances in both areas offer promising opportunities for progress
-
ranging from transport and production systems to communication solutions and biomedical engineering. The Biomedical Electromagnetic group focuses on developing new, more effective medical methods and
-
, we will identify optimal fast-charging parameters using data-driven optimization methods. (2) We will first design an optimal control strategy on laboratory three-electrode cells using anode potential