Multiple research positions available in Logic for AI at the School of Computer
Science, University of Sydney

The positions include a PhD scholarship, honours program, summer/winter scholarships, and positions in the Talented Student Program (TSP) and Special Studies Program (SSP).


Specific topics of interest include: 
- Formal Methods (Verification, Synthesis, Monitoring) of Autonomous Systems,
  Multi-agent Systems and Distributed Systems
- Logics in Artificial Intelligence
- Foundations of Planning
- Automata and Games

The successful candidates will join the Computational Logic for Artificial
Intelligence (LOGIC-AI) group. 

Interested candidates should email me <sasha.rubin@sydney.edu.au> after having
looked at my work.  Ideal candidates will have strong backgrounds in the theory
of computation (models of computation, algorithms) or mathematical logic.