Doctoral Scholarship School of Computing Sciences University of Technology, Sydney The scholarship is linked to the "Shape" project, whose goal is to design and implement an efficient, typed programming language for vectors, matrices, and other data structures, based on the separation of data from shape. The project combines both the development of theory of shapely types with their incorporation in a programming language. The project is based at UTS, but has participants in Calgary and Edinburgh. Applicants will have completed an undergraduate degree at the Honours level. They should also have experience in programming language implementation or semantics, or in category theory. The stipend is $18,679 (tax exempt). Funding is only guaranteed for 12 months in the first instance. Other possibilities for an immediate three years of funding also exist. Applicants who are Australian citizens, or permanent residents who have lived continuously in Australia for the last twelve months, would not be required to pay student fees. For further information, contact Barry Jay (cbj@socs.uts.edu.au). Applications should contain a curriculum vitae and the names, addresses, phone numbers and e-mail of two or three referees from whom confidential reports can be obtained. They should be sent to: Dr C. Barry Jay School of Computing Sciences University of Technology, Sydney PO Box 123 Broadway Australia 2007 Ph: (02) 330-1814 for receipt by 17th December, 1993. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++