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.
