-
focusing on: Quantum mechanical calculations using density functional theory. Mean-field modeling and Monte Carlo simulations for reaction kinetics. Theoretical spectroscopy By combining quantum mechanical
-
behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves
-
postdocs at Chalmers, and collaborate with academic and industrial partners in Sweden and internationally. The role also offers opportunities for travel and engagement with external collaborators. Research
-
Technology Laboratory (QTL) division of the Microtechnology and Nanoscience (MC2) department, working in a large team of PhDs, postdocs and researchers. About the research We are seeking PhD students to work