Lecturer / Assistant Professor in Computer Science
Research School of Computer Science
College of Engineering & Computer Science
The Australian National University
Australia
Postal Address
Research School of Computer Science
Building 108, North Road
The Australian National University
Canberra, ACT 2601
Australia
Phone
+61 2 6125 8627
E-Mail
firstname.lastname@anu.edu.au
I have a number of open PhD student positions in my group.
PhD students will develop novel methods to design and analyze cyber-physical systems (e.g., autonomous cars). The main focus will be on the formal verification of hybrid systems, i.e., dynamical systems exhibiting mixed discrete-continuous behavior. Depending on the interest and background of candidates, research can include topics from AI as well, e.g., AI planning and machine learning.
Candidate profile:
Please send me a complete CV as well as your motivation letter and transcripts.
Cyber-physical systems, artificial intelligence, systems biology
Sergiy is a Lecturer / Assistant Professor at the Australian National University. In his research, Sergiy develops algorithms and tools to provide scalable solutions for automatic analysis of cyber-physical systems, e.g., autonomous cars, smart buildings, etc. Sergiy's broad goal is to develop push-button solutions to automate every step in the design and development workflow of cyber-physical systems. In addition, Sergiy is interested in the applications of cyber-physical systems in artificial intelligence and systems biology.
Before joining ANU in 2016, Sergiy was a postdoctoral researcher in Thomas A. Henzinger's group at the Institute of Science and Technology Austria (IST Austria). He completed his PhD at the
University of Freiburg, Germany in 2015 under the supervision of Andreas Podelski.
For more information, please check out Sergiy's CV.
University of Freiburg: