42 software-formal-method-phd Postdoctoral positions at Chalmers University of Technology
Sort by
Refine Your Search
-
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
-
, advanced electrolyte systems, and strategies for stabilizing metal anodes. We have a strong track record in developing innovative methods and extending characterization techniques to new applications and
-
, you will develop methods to functionalize graphene with a range of bio-receptors (aptamers, antibodies, Cas9) while maintaining its exceptional sensing properties. Together with other team members, you
-
. 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
-
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
-
the local and distant universe. You will join a vibrant and collaborative research environment that combines observations, theory, and data-intensive methods to explore key processes shaping galaxies and
-
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
-
key—you will work closely with researchers and PhD students within the Division of Marine Technology. Your responsibilities Your main responsibilities will include: Benchmark study: Compare and evaluate
-
We are looking for a highly motivated candidate who wants to be at the forefront of research and develop materials and methods for a sustainable future based on renewable materials. This postdoc
-
involve established software tools, such as: CHEMKIN-PRO for steady one-dimensional simulations of laminar flames with detailed chemistry. CONVERGE for unsteady three-dimensional simulations of turbulent