Postdoctoral position in KR & Agents, Melbourne (Australia)

We will be soon advertising a postdoctoral position between 2-3 years, starting early to mid 2012, working within the Intelligent Agents Group at RMIT University in Melbourne, and the Artificial Intelligence Laboratory at University of New South Wales in Sydney. The project will also involve collaboration with staff from "La Sapienza" University in Rome, Italy. The specific position is as a postdoc on the ARC grant "Optimisation of embedded virtual complex systems by re-using a library of available components". This project involves developing principled representation and reasoning mechanisms for tackling the so-called behaviour composition problem in ways amenable for practical implementation.

We are looking for a person with an excellent record of working on practical knowledge representation and reasoning problems, producing high quality publications with good impact. We are looking for expertise in areas of artificial intelligence such as automated planning, optimisation, knowledge representation and reasoning, intelligent agents, verification, and synthesis. The person should be able to work well in a team, but should also be able to take a lead role in driving forward the research.

More information can be found in the following link: http://www.cs.rmit.edu.au/agents/www/positions/2012-DP110101668/

Please email expressions of interest to Sebastian Sardina <sebastian.sardina at rmit.edu.au>. Please put POSTDOC in the subject header.