The Shape project is developing some exciting new ideas in the semantics of data types so that they can be incorporated into programming languages, especially a parallel language suitable for numerical analysis. The key concept is that data is stored in shapes (or containers, or structures) which can be described and manipulated separately from the data. Expected benefits are:
Further information about the theory of shape can be obtained by anonymous ftp from ftp.socs.uts.edu.au in the directory users/cbj in the file shapelyTypes.ps.Z and the sub-directory P2.
A prototype functional language is currently under development. When stable, it must be implemented so that it can run on the CM5. Shape information may help in optimisation.
The UTS team currently has two staff and three graduate students, with additional collaborators in Australia, Canada and Europe. Now, with funding from a large ARC grant, we are looking for a post-doctoral research fellow. The position is for up to three years at a salary range of $42,198 - $43,781.
A doctorate in computer science (or equivalent) is essential. The candidate must be able to make a significant contribution to the project. The ideal candidate will have experience in implementing languages on parallel computers, optimisation of programs for parallel computers, functional programming, or type theory.
Address initial enquiries to Barry Jay (cbj@socs.uts.edu.au). Applicants should send a curriculum vitae, before 24 Feb, 1995, to:
Dr C. Barry Jay, School of Computing Sciences
University of Technology, Sydney, PO Box 123 Broadway
2007, Australia
Ph (61 2) 330-1814, Fax (61 2) 330-1807
The position will remain open until it is filled.