Research Fellow (Formal Method based Robotic Controller Design)

Nanyang Technological University; Singapore; On-site; SGD 100,000 - 125,000; Full time

Job summary

An established industry player is seeking an enthusiastic Research Fellow to contribute to groundbreaking research in robotic interoperability. This role involves conducting comprehensive literature surveys, developing innovative frameworks for robot communication, and implementing these solutions in real-world applications. The successful candidate will have a PhD in a relevant field and a proven track record in high-quality research. Join a dynamic team that is at the forefront of engineering education and research, shaping the future of robotic systems and their capabilities.

Qualifications

• PhD degree in relevant fields with a strong research track record.
• Experience in robotic operational specification design and communication protocols.

Responsibilities

• Conduct literature and market surveys on robotic system interoperability.
• Develop and implement a framework for robot communication and understanding.

Skills

Research in robotic applications

Programming skills

Communication skills

Education

PhD in Electrical Engineering

PhD in Computer Science

PhD in Computer Engineering

PhD in Social Science

Tools

ROS

Job description

School of Electrical and Electronic Engineering is one of the founding Schools of the Nanyang Technological University. Built on a culture of excellence, the School is renowned for its high academic standards and research. With over 3,000 undergraduates students and 1,000 graduate students it is one of the largest EEE schools in the world and ranks 10th in the field of Electrical & Electronic Engineering in the 2024 QS World University Rankings by Subjects.

Today, the School has become one of the world’s largest engineering schools that nurtures competent engineers and researchers. Each year, the School graduates over a thousand students who are ready to take on great ambitions and challenges.

We are looking for an enthusiastic researcher in areas related to formal-method-based automatic analysis and design of robotic operational specifications to take on a position of Research Fellow to support the project entitled "Universal Interoperability for Robots as a Service". The research fellow must have a verifiable track record of high-quality research and out-of-the-box thinking with relevant experience in robotic applications.

Key Responsibilities

1. To carry out a comprehensive literature and market survey on interoperability of robotic systems.
2. To develop a new framework that allows different robots to communicate with each other and, most importantly, understand each other’s functional capabilities and operational requests.
3. To implement developed robotic interoperability framework in hardware/software in real robots, and validate its effectiveness with a detailed report.
4. To assist the PI to manage the project and coach undergraduate and postgraduate students in FYPs, DIPs and MSc dissertation projects.

Job Requirements

1. PhD degree in electrical engineering, computer science, computer engineering, social science or any other related fields.
2. A strong track record of high-quality research in formal method based robotic operational specification design and/or robotic communication protocol design.
3. Verifiable past experience in robotic system management such as mission planning and safety control.
4. A good command of programming skills, in particular, within ROS, will be a plus.
5. Excellent verbal and written communication skills.

We regret to inform that only shortlisted candidates will be notified.