2 manipulation PhD positions in Sweden

PhD Student in Robotics and Artificial Intelligence

Lulea University of Technology | Sweden | about 2 months ago

the following research areas providing a template for relevant directions: Research Topics: -Distributed task planning and navigation for collaborative manipulation -Motion planning for non-circular unsymmetric

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

Chalmers University of Technology | Sweden | 20 days 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