Centre for Advanced Robotics Technology Innovation (CARTIN) is looking for a candidate to join them as a Research Fellow.

Key Responsibilities:

• Carry out literature research on STOA of verification of resilience.
• Develop a formal-method based modeling framework that can capture a variety of operational requirements and performance constraints under uncertain environment, upon which quantification of resilience of sensing and control is feasible.
• Develop an efficient analysis and verification method to evaluate degree of resilience and satisfaction of given requirements and constraints.
• Apply the developed modeling and verification methods in a (simulation/field) testbed for robotic sensing.
• Publish research results in reputable journals and conferences (in particular, ICRA).
• Assist project PI to coach research students.

Job Requirements:

• PhD degree in relevant fields with past research foci on formal methods, modeling and analysis of complex operations under uncertain environment, control and optimization.
• Strong publication record in relevant fields. Relevant publications in human-robot systems will be a plus.
• Knowledge in modeling, simulation, and analysis of human-robot systems is a plus.
• Proficiency in English is essential to conduct research.

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

Hiring Institution: NTU