Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Research Position in Computer Science at The A...

Email Gateway (Aug 18 2022 at 11:53):

From: John Lloyd <jwl@cecs.anu.edu.au>
ANU College of Engineering and Computer Science
Computer Sciences Laboratory

Research Fellow

Fixed Term – 2 Years

Applications are invited for a postdoctoral position to work on a
project entitled “Foundations and Architectures for
Agent Systems”, which is funded by the Australian Research Council.
Applicants should have research expertise in at
least one of agents, machine learning, artificial intelligence,
computational logic, or a cognate discipline, and preferably
have strong mathematical skills.

Details at http://info.anu.edu.au/hr/Jobs/Academic_Positions/_CECS4794.asp

Closing Date: 6 June 2008

Last updated: Nov 21 2024 at 12:39 UTC