Post-Doctoral Research Associate in FORMAL VERIFICATION FOR ROBOT COLLECTIVES [ Grade 6; Fixed-term for 36 months ] CRADLE partnership, Autonomy and Verification Group Department of Computer Science, University of Manchester, UK CRADLE, the “Centre for Robotic Autonomy in Demanding and Long-lasting Environments” is an industry and academic partnership that aims to solve challenges that have limited the development, implementation, and adoption of robotics across industry sectors, particularly where the environment is complex and there is a likelihood of human interaction. CRADLE is a significant research partnership between the Manchester Centre for Robotics and AI, Jacobs Solutions, and the UKRI. As part of CRADLE, we are looking for a strong researcher able to conduct research around formal verification for robots collectives specifically around human robot teams, robot teams and robot swarms. The candidate should have a background of excellent research in Formal Verification, Logics, Formal Methods or Software Engineering as applied to robotics and autonomous systems. The overall research programme aims to develop a body of cross-cutting research across the field of Robotics and we are therefore seeking candidates who show a willingness and aptitude for collaborating closely with the wider research team which includes Assurance, Architectures, Robotics and Human Interaction researchers as well as Engineers from Jacobs. The successful candidate will contribute to the wider joint research programme to tackle these interrelated challenges and will be expected to undertake research within the Autonomy and Verification Network. Manchester Centre for Robotics & AI Jacobs Solutions UK Research and Innovation Autonomy and Verification Network VACANCY REF: SAE-025418 [ Grade 6 ] Salary: £36,024-£44,263 per annum, depending on relevant experience Duration: Fixed Term, for 36 months Location: CRADLE Lab, School of Engineering, Manchester Apply: Closing date: 04/06/2024

PhD position on control and planning algorithms Applications are invited for a PhD position in the Control and Learning for Autonomous Robots (CL4AR) Lab at the University of Oklahoma, USA. The project funded by DOE aims to develop and demonstrate a mobile sensing platform with autonomous operation capability to monitor CH4 concentrations over the pilot-demonstration testbed (a 100 mile² region). The PhD student will work on control and planning algorithms for vision-based navigation. Eligibility / Selection Criteria: Required: – A Master’s degree in mechanical engineering, electrical engineering, aerospace engineering, computer science/engineering, control theory, mechatronics, applied mathematics, or other related disciplines. – Strong background in computer vision, machine learning, or robotics. – Good verbal and writing skills in English with excellent communication skills (79 on the internet-based TOEFL, or 6.5 on the IELTS) – Good programming skills. Preferred: – Hands-on experience in robotic systems – Experience in Robot Operating System (ROS) – Concrete knowledge in C/C++ or Python – Demonstration of research activities (conference or journal papers) How to apply: Please contact Assistant Professor Erkan Kayacan ( for application and make sure that your email’s title starts with [PhD Position]. The application must include – A curriculum vitae with contact information of three references, cGPAs. – Degree certificates and grade transcripts (master’s and bachelor’s) – English requirement (TOFEL or IELTS) Key dates: – Interviews will start immediately.

Lee Kuan Yew Scholarship allowance to increase next year – Singapore News (

A*STAR Scholarship Portal

Global-X: Agile Innovative Research

Postdoctoral Networking Tour in Artificial Intelligence

JOB: Edinburgh Postdoc in 3D Vision and Representation Learning

NTU Singapore Global Connect Fellowship (GCF) – S$5000 Stipend