The SHAPE project ------------------ Post-doctoral Research Fellowship --------------------------------- 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: - that programs will be able to act on inputs of arbitrary shape (shape polymorphism); - that shape errors (e.g. array bound errors) can be detected during compilation (shape analysis), and; - that (most) run-time operations will act on arrays. 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. In addition to capturing the benefits listed above, 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 its 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. The candidate must have initiative, be able to work well as part of a team, and communicate effectively. Address initial enquiries to Barry Jay (cbj@socs.uts.edu.au). Responses may be erratic until 6/2/95. Applicants should send a curriculum vitae to: Dr C. Barry Jay School of Computing Sciences, University of Technology, Sydney PO Box 123 Broadway 2007 Australia Ph (6 12) 330-1814 Fax (6 12) 330-1807 before Friday, 24th February, 1995. The position will remain open until it is filled. Barry Jay