23 software-formal-method-phd Postdoctoral positions at Chalmers University of Technology
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 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
-
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
-
the work will be detailed catalyst characterization. A wide range of methods will be used, including XRD, BET, SEM, TEM, TPR, TPD, DRIFT, and XPS. Atom Probe Tomography (APT), with sample preparation
-
tested in high hydrogen pressure reactors and the gas will be analysed with GC. A central part of the work will be detailed catalyst characterization. A wide range of methods will be used, including XRD
-
fundamental 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
-
research. The methods of our investigations are also diverse and complementary, and range from theory and computer simulations to experiments in subatomic physics. The Plasma Theory group within the Division