26 software-formal-method-phd Postdoctoral positions at Chalmers University of Technology
Sort by
Refine Your Search
-
position is embedded in a vibrant research environment that includes several PhD students and postdoctoral researchers. The project is a close collaboration between the Computer Vision Group at Chalmers
-
properties. Advanced characterization methods and development of new techniques – We specialize in hyphenated rheological methods such as rheo-SAXS and rheo-DES, which are primarily applied to materials like
-
. Project overview The postdoctoral researcher will develop and evaluate methods for recycling spent sodium-ion batteries. The work will involve experimental research in aqueous chemistry, with particular
-
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
-
own research in a research group. The position may also include teaching on undergraduate and master's levels as well as supervising master's and/or PhD students to a certain extent. Another important
-
(AIMLeNS) lab is a tight-knit team of computer scientists, chemists, physicists, and mathematicians working collaboratively. Our focus is on developing practical methods that blend traditional disciplines
-
://www.chalmers.se/math/ At the division of Applied Mathematics and Statistics we conduct research within probability theory and its applications, the theory and implementation of finite element methods, inverse wave
-
Chalmers University of Technology focused on the recycling of carbon fibre composites. The project aims to develop a novel method for recovering fibres using magnetic fields, with the goal of lowering
-
stiffness or stretchability. You will collaborate closely with PhD students and Postdocs in our group as well as external partners to study the mechanical, electrical, and electrochemical properties
-
and calibration of reports from various sources. Collect and analyse large-scale cross-industry accident data using FRAM (Functional Resonance Analysis Method) within LLMs to identify human-, technical