Open Researcher Level B position
at National ICT Australia: Knowledge Representation and Reasoning

National ICT Australia Limited (NICTA) invites applications from highly motivated researchers for appointment as Researchers (Level B). The positions are to work within the Knowledge Representation and Reasoning Program (KRR) in traditional areas of knowledge representation for a fixed term period of two to three years. Preference will be given to applicants with a strong background in logic. Research conducted in the KRR program includes, but is not limited to, the following:

• Nonmonotonic reasoning
• Belief revision and merging
• Negotiation and games
• Ontologies
• Cognitive robotics and planning
• Multi-agent systems
• Logic programming

The full vacancy announcement is available as PDF from http://nicta.com.au/jobs/research/KRR_B1.pdf. For more information about NICTA and the KRR program, go to http://www.nicta.com.au and http://nicta.com.au/programs/krr/kr.html.