Post Doctoral Fellow

Te Whiwhinga mahi | The opportunityWe 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 $90,405 per annum, dependent on experience and qualifications.For more information, please view the Position Description. Mō tō mātou rōpū | About the teamThe 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 kōrero mōu | About youWe’re 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 mātou | What we offerThe 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 five weeks' annual leave.A 6.75% employer superannuation contribution.Professional development programmes and a commitment to equity and inclusion.For more information, please visit Staff Benefits. Me pēhea te tuku tono | How to applyApplications must be submitted online by 13th June 2025 to be considered. Please include a cover letter and CV outlining your research experience and suitability for the role.We may close the advertisement early if a suitable candidate is identified.For a confidential conversation, please contact Partha Roop - p.roop@auckland.ac.nz. Please note, we do not accept applications via email.