[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all, the Computer Science Lab at the Australian National University has an opening for a 2-year postdoc in the area of logic-based framework for trust and security. Details of the position, including salary range and qualifications, can be found at the ANU website: http://info.anu.edu.au/hr/Jobs/Academic_Positions/_CECS3966.asp Application deadline is 31 May 2007. -Alwen