[ecoop-info] Postdoctoral position in Hybrid Systems at the Australian National University

[Sergiy Bogomolov]

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 at 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).