Job Description Te Whiwhinga mahi | The opportunity We are seeking a Post-Doctoral Fellow to join the Department of Electrical, Computer and Software Engineering in the Faculty of Engineering and Design. This research-focused role is part of a collaborative project with Google exploring the design of scalable synchronous applications using logical synchrony networks. In this role, you will: Develop a case study of a cyber-physical system (CPS) using logical synchrony networks from Google.

Develop examples of CPS applications that may encompass autonomous systems in space and in road transport (e.g. landing, spacecraft proximity operations, adaptive cruise control in cars).

Explore the use of control barrier functions and similar methods (e.g. control contraction metrics, funnel synthesis) for safe autonomous guidance and verification.

Formal verification of CPS based on both run-time and static methods. Collaborate with the research group of the PI as well as other research groups in ECSE as well as the space institute. Presentation for Google engineers from the bittide team on a regular basis.

Draft papers for publication and present results at relevant conferences/forums. Regular consultation with the PI regarding progress. This is a full-time (40 hours per week), fixed-term position for 24 months.

The salary is $87,772 per annum, dependent on experience and qualifications. For more information, please view the Position Description . M t mtou rp | About the team The Department of Electrical, Computer and Software Engineering is a leader in advanced engineering education and research, located within the Faculty of Engineering and Design.

Our faculty is home to innovative researchers working on emerging technologies that shape the future of industries including aerospace, robotics, autonomous systems and software. Our researchers collaborate across disciplines and engage deeply with industry partners like Google to develop real-world solutions. He krero mu | About you Were looking for a motivated early-career researcher with expertise in cyber-physical systems, software engineering, or control systems.

You will have: A PhD in Engineering with a focus on computer science, aerospace, automotive, or formal systems. (Candidates who have submitted their PhD, which is under examination, can apply). Experience with formal methods, mathematical modelling, and verification techniques.

An understanding of CPS theory, distributed systems, and real-world applications. Excellent written and verbal communication skills, including academic writing. An ability to work collaboratively within research teams and with external partners.

Experience with supervising or mentoring undergraduate/postgraduate students is desirable. Ng huatanga kei a mtou | What we offer The University of Auckland provides a dynamic and supportive research environment. We offer: A collegial academic community with access to state-of-the-art facilities.

Flexible employment practices and fiv.