Attention to students of technical and mathematical specialties!<\/strong><\/p>\n Doctor Sergiy Bogomolov<\/a> offers the opportunity to study for a PhD in his research group (Australian National University<\/a>, 20th in the world according to the QS World University Rankings for 2018).<\/p>\n PhD_students.pdf<\/a> \u2014 Description of PhD in Computer Science at the Australian National University<\/p>\n A competition on the topic \u00abVerification of autonomous transport systems\u00bb is announced for candidate selection. Those wishing to participate in the competition should obtain login and password<\/strong> for the test system from Kostiantyn Potomkin ( kostiantyn.potomkinanu.edu.au).<\/p>\n As part of the competition, it is proposed to solve a number of tasks that allow implementing an automatic verification algorithm for a certain class of dynamic systems. Solutions to the tasks are accepted online until May 20, 2018, at anu.dots.org.ua<\/a>.<\/p>\n Participants who successfully solve the proposed tasks will be invited for an interview. A positive interview result will provide an opportunity to receive funding for PhD studies in Computer Science in Dr. Sergiy Bogomolov's research group at the Australian National University.<\/p>\n Dr. Bogomolov will be in Kharkiv on April 23-27, 2018, and is ready to answer questions during a personal meeting.<\/p>\n