Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD student positions, postdoctoral positions, fellowships in "Formal Methods and Theoretical Computer Science", Macao

Positions are available at the United Nations University's International Institute for Software Technology (UNU-IIST) in Macao for post-doctoral researchers, PhD students and fellows. The positions are funded by UNU-IIST and the Macau Science and Technology Development Fund through "PEARL - Process Expansion: Action Refinement in the Large", a project run in collaboration with the University of Macau. The PEARL team includes Jeff Sanders, Xu Qiwen, Wang Xu, Yang Shaofa and Chris Ma.

The project concerns the top-down development of information systems. One convincing way to understand the complex systems that confront us daily in Computer Science is to specify their behaviour, abstacting implementation detail. But usually it is the implementations themselves that are of interest; for instance we may have just a specification and wish to find an implementation; or we may wish to understand, in greater detail than its specification, an existing implementation. By adopting the standard approach of Science, the top-down incremental method posits a series of designs, starting with the specification and ending with the implementation and having the property that each design conforms to its successor in the series.

For more information, see http://www.iist.unu.edu/www/job/pearl20090323.pdf or the UNU-IIST website at http://www.iist.unu.edu, or contact Dr J W Sanders at .

Please note that this newsitem has been archived, and may contain outdated information or links.