5 software-verification Postdoctoral research jobs at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
Listed
-
Field
-
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
-
. Contribute to research projects within discrete-event systems, supervisory control theory, and formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required
-
)* Strong background in computational mechanics and numerical methods Demonstrated experience with LS-DYNA or comparable commercial FEA software Proficiency in Python programming for scientific computing and
-
Demonstrated experience with LS-DYNA or comparable commercial FEA software Proficiency in Python programming for scientific computing and machine learning applications Experience with machine learning methods
-
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