22 software-verification-phd Postdoctoral positions at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
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
-
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
-
to contribute your own research ideas and take part in supervising PhD students. About the research project The position, starting in the first half of 2026, will be based in the theory division of the Department
-
with international partners in the FLAG-ERA project ThinQ. You will also have the opportunity to contribute your own research ideas and take part in supervising PhD students. About the research project
-
the project’s Principal Investigator, and the practical implementation of this research with the Secura Lab. The role also offers ample opportunities to mentor PhD students, supervise MSc projects, and engage
-
levels as well as supervising master's and/or PhD students to a certain extent. Another important aspect involves collaboration within academia and with society at large. The position is meritorious
-
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
-
your 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
-
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
-
Formulate and nanoparticles Analyze experimental data using imaging and quantitative assays Contribute to scientific publications, presentations, and mentoring activities Supervise master’s and/or PhD