Postdoctoral position in Hybrid Systems at the Australian National University

Cyber-Physical Systems Laboratory led by Dr Sergiy Bogomolov is seeking applications for a postdoctoral position on the topic "Verification of Hybrid Systems". The successful candidate will work on algorithms and techniques to support scalable verification of hybrid systems. Candidates working on adjacent topics, which contribute to the broad goal of ensuring safety of hybrid systems such as synthesis of hybrid systems, are encouraged to apply as well. Interest in investigating links between formal methods and areas of artificial intelligence such as AI planning and verification of machine learning algorithms is welcome.

The successful candidate will have a PhD degree (or will be working towards its completion) in Computer Science, Applied Mathematics or a related discipline and be able to demonstrate an excellent research track record in the area of hybrid systems. The position is available immediately and will be open until a suitable candidate has been found. The initial duration of the position is two years and might be extended depending on the candidate's performance and funding availability. The candidate will be offered an internationally competitive salary (around 100K AUD/year + 17% superannuation).
Please send a complete CV including information about your publications and reference writers as well as your motivation letter to Dr Sergiy Bogomolov (sergiy.bogomolov@anu.edu.au). For more information, please consult http://www.sergiybogomolov.com/.

The Australian National University is a top ranked university (#20 world-wide according to QS world university ranking 2017) located in Canberra, the capital city of Australia. Canberra enjoys one of the highest quality of life in the world (most liveable city according to Regional Well-Being Report 2014 by OECD).