Postdoc in Multi-Robot Planning and Control Under Temporal Logic Tasks (Royal Institute of Technology School of Electrical Engineering and Computer Science)