UNITED NATIONS UNIVERSITY
VACANCY ANNOUNCEMENT
Two
post-doctoral researcher positions are now open at International
Institute for Software Technology, United Nations University (UNU-IIST,
http://www.iist.unu.edu).
UNU-IIST is a Research and Training Centre of
the United Nations University. It serves developing countries to help
them attain self-reliance in software technology by training their
young scientists and engineers.
The positions are
funded for three years by Macau Sci.&Tech. Development Fund and
UNU-IIST through "PEARL --- Process expansion: action refinement in the
large", a project in collaboration with University of Macau (UM,
http://www.umac.mo/).
The project covers topics
broadly in:
a) Developing 'grainless' semantic
theories for concurrent systems, where coarse grain actions can be
refined into (subsystems of) fine grain actions or reversely fine grain
actions atomised into coarse grain actions.
b)
Exploiting the freedom of moving across levels of abstraction (i.e.
grain size) to develop scalable verification techniques
(model-checking) and incremental development methods (law-based).
c)
Application of the theories, techniques and methods to the verification
and development of concurrent non-blocking algorithms, multithreaded
Java programs (with weak-ordering memory model) and web-based
transaction systems.
These positions are ideal for
young researchers who would like to develop their academic research
careers by working in an excellent academic setting. They provide a
unique opportunity to join an institute that has proven experience in,
and dedication to, the training of young researchers, in formal methods
and theoretical computer science.
Requirements
We
are seeking young research scientists with (or in the process of
obtaining) PhDs in computer science. Good English speaking and writing
skills are necessary. The successful applicants should have a profound
knowledge of the semantics, specification and verification of
concurrent systems. Experience in simulation and data refinement
techniques, process algebra model-checking (esp. CSP) and
action/atomicity refinement will be an advantage.
Besides
research, the successful applicants will also be involved in helping to
supervise postgraduate students from developing countries recruited to
the project as UNU-IIST fellows.
Conditions
The
postdoctoral positions are contract appointments starting with one year
and renewable for another two years, depending on performance. Salary
will be in the range 2000-3000 USD per month paid without deduction of
tax. UNU-IIST will provide medical insurance and a fully-furnished
& rent-free two-bedroom apartment (exclusive of utility
expenses).
The Research Group
The
successful applicants will be working in a joint research group at
UNU-IIST and UM. The research group is led by Dr. Jeff Sanders,
Principal Research Fellow of UNU-IIST. Other members of the group
include Dr. Qiwen Xu of UM and Dr. Xu Wang of UNU-IIST.
Further
information is available from:
Jeff Sanders
jeff@iist.unu.edu
The
City
Macao is a Special Administrative Region of China,
about 40km from Hong Kong, the other side of the Pearl River estuary.
It is a small, safe city, predominantly Chinese in culture but with
strong Portuguese influences and an active expatriate community of
people from many countries. There are schools that teach in English,
Chinese and Portuguese.
The
Application
Potential applicants are suggested to send a CV,
2-3 recent publications (relevant to the project) and a covering letter
with the contact details of three referees by email to
vacancy@iist.unu.edu, quoting the job reference PEARL-1.
The
Deadline
Application submission is
now open and will remain so until suitable candidates are found. The
selection procedure, however, will start on 31 July, 2008 and the positions
ideally start as soon as possible afterwards.