29 software-formal-method-phd research jobs at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
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
-
formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required. Collaborate with partners across academia, industry, and society. Qualifications PhD degree
-
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
-
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
-
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
-
to benchmark results, validate models against fabricated amplifier designs, and - very importantly - guide technology development Publish results in leading journals and conferences, and supervise PhD students
-
us The High-Energy part of the Theoretical Subatomic Physics group performs research into elementary particle physics from model building and Dark Matter to formal Quantum Field Theory
-
model building and Dark Matter to formal Quantum Field Theory. Organizationally we are part of the division of Subatomic, High-Energy and Plasma Physics within the Department of Physics . We have a
-
well as nuclear physics. This diversity of research topics allows us to connect fundamental questions about the particles and forces governing our Universe to energy-related research. The methods of our
-
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