[JC] ================================================ AMAST Links 02 01 Postdoctoral Research Associates/Research Fellows (4) The _full version_ of this announcement is available at URL: http://www.cs.utwente.nl/data/amast/links/v02/i01/full/ACRCj.txt The Advanced Computing Research Centre (ACRC) is one of the University of South Australia's nine newly-endowed research centres. The ACRC encompasses three research groups based in the School of Computer and Information Science and is enjoying rapid growth in its research activity. The Centre is seeking to appoint four postdoctoral candidates with excellent research potential to participate in the following projects. Two ARC-funded projects within the Concurrent Systems Research Group: o Formal Specification and Verification Environment (ref CS1, 3-year) o Highly Concurrent Simulation Architectures (ref CS2, 2-year) Further information from: Professor George Milne, Director, Advanced Computing Research Centre phone: +61 8 302 3943; fax: +61 8 302 3988 e-mail: george.milne@unisa.edu.au Two further posts are available in the following areas: o Data and Software Engineering Research Group, Normal Forms in Nested Relational Databases. Further information from: Dr. Millist Vincent, Advanced Computing Research Centre phone: + 61 8 302 3166; fax: +61 8 302 3381 e-mail: millist.vincent@unisa.edu.au o Intelligent System Group, Medical Information Systems. Further information from: Dr. Jim Warren, School of Computer and Information Science phone +61 8 302 3446; fax: +61 8 302 3381 e-mail: James.Warren@unisa.edu.au Annual salary AUS$36,793 to AUS$43,134 depending on credentials. Preference will be given to candidates with a relevant Ph.D. and strong research record pertinent to appointment area. Interested applicants should address specific enquiries to the appropriate contact person. Applications close _Friday 17th February 1995_ (for further details, see the full version of this announcement).