2 category-theory PhD positions at Chalmers University of Technology

PhD position in Computational Nano Catalysis for Hydrogen Carriers

Chalmers University of Technology | Sweden | about 18 hours ago

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

Up to two PhD positions at the intersection of Formal Verification and Planning

Chalmers University of Technology | Sweden | about 2 months ago

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