41 software-formal-method-phd Postdoctoral positions at Chalmers University of Technology
Sort by
Refine Your Search
-
, critical in the design of plasma confinement devices. Modus operandi in the project is to make progress on these difficult question via structure-preserving numerical methods (cf. "matrix hydrodynamics
-
revolution in the field of legged robotics and their successful custom deployment in various applications. Project overview The aim of this project is to develop a software framework for AI based Holistic Co
-
sciences using a range of quantitative methods. The division has around 50 staff members, faculty, and PhD-students with diverse expertise including engineers, natural and social scientists. The Department
-
theory, and/or formal verification of automation systems. The PhD should have been awarded no more than three years prior to the application deadline.* Strong written and verbal communication skills in
-
strategies to address them within the scope of the project Develop new agentic AI methods for the autonomous configuration and deployment of 6G core functions in the edge-cloud continuum Design, develop, and
-
with two leading Swedish industry partners. Main responsibilities Formulate research questions and develop strategies to address them within the scope of the project Develop new agentic AI methods
-
experience will strengthen your application: Experience with cryogenic methods, liquid phase electron microscopy, battery materials, and related sample preparation techniques is considered a merit. What you
-
application: Experience with cryogenic methods, liquid phase electron microscopy, battery materials, and related sample preparation techniques is considered a merit. What you will do Develop and apply advanced
-
interesting magnetic and electronic ground states. Here, a special focus lies on crystal growth through chemical transport reactions and flux methods as well as X-ray diffraction, magnetometry and electron
-
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 simulations