olivier buffet oobaqkwzdjcablaasfr australian national university advertising 5 years researchintensive academic position computer science httpinfoanueduauhrjobsacademic_positions_cecs3964asp position open women applicants deadline applications august 24 strengths lab artificial intelligence including diagnosis machine learning planning scheduling logic automated reasoning tableaux theorem proving satconstraints would welcome applicants areas synergetic sylvie thiebaux associate professor computer sciences laboratory australian national university canberra act 0200 australia httprsiseanueduauthiebaux fri 08 aug 2008 054825 0200 uai research faculty position anu