2 knowledge-reasoning PhD positions at Chalmers University of Technology

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

Chalmers University of Technology | Sweden | about 13 hours 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

PhD position in remote sensing using satellite communication networks

Chalmers University of Technology | Sweden | 3 months ago

from satellite, aircraft or ground sensors to understand, model and retrieve parameters relevant to the processes driving our atmosphere, biosphere, hydrosphere and cryosphere. About the research project