[TYPES] Formal-reasoning post-doc at JAIST, Japan

[Rene Vestergaard]

Applications are invited for a post-doctoral researcher to work on
formal-reasoning tools and techniques (i.e., types, rewriting,
theorem proving, proof theory, algebraic specifications, etc.) in
the areas of game theory, systems biology, and programming-language
theory. The intended point-of-contact is Rene Vestergaard.

The position is available immediately, with an initial term of
contract of 1 year, renewable subject to agreement between the
parties. Remuneration will be in accordance with the official
Japanese academic scale, based mainly on experience; it is likely to
be over JPY/year 5 million, including benefits. Travel and equipment
funding will be provided, as will initial travel costs to JAIST. The
position is part of the "Verifiable and Evolvable e-Society" project
at JAIST, Japan, one of 28 Centre-of-Excellence awards given by the
Japanese government this year. The project will run for several
years and will comprise a substantial amount of research activity.
JAIST (Japan Advanced Institute of Science and Technology) is a
national research institute and graduate school with a large,
research-driven faculty in informatics. It is located in Ishikawa
prefecture, known for its service economy, hot springs, sea-food,
and well-preserved ancient culture.

The successful applicant will need to have met the requirements for
a PhD degree in a relevant area before starting the position.

The deadline for statements-of-interest is Oct. 12. Formal
applications should be sent by e-mail as soon as possible and should
allow the hiring committee to assess the suitability and potential
of the applicant. In particular, please include
   * the names of 3 people that are willing to supply us with a
     letter of recommendation, if asked for it,
   * a possible start date,
   * no more than 3 publications.

The hiring committee reserves the right not to fill the position.

Further particulars are available upon request.

Sincerely, and on behalf of "Verifiable and Evolvable e-Society",

Rene Vestergaard
Associate Professor, PhD

==========================================================
JAIST (Japan Advanced Institute of Science and Technology)
1-1 Asahidai, Tatsunokuchi, Ishikawa, 923-1292, Japan
{+81,0}90-8703-9985, http://www.jaist.ac.jp/~vester
==========================================================