[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Open Position at the RCIS/JAIST



[sorry for multiple copies]

Open Position for one post doctoral researcher at RCIS/JAIST

At the Research Center for Integrated Science [1] at the 
Japanese Advanced Institute of Science and Technology [2] 
a post doctoral researcher position is open starting from October.

Fields of research: 
  Mathematical Logic, in particular Semantic/Proof-theoretic methods in
  Nonclassical logics (including substructural logics, intermediate and
  many-valued logics) and related fields

Application:
  Application should comprise a curriculum vitae, a short statement 
  on research interests, preferrably a recommendation letter, per email
  to 
     ono@jaist.ac.jp, preining@jaist.ac.jp (both)


Deadline for application:
  17 September 2011

Inquiries should be sent to the above adresses, too.

ONO Hiroakira
PREINING Norbert

[1] http://www.jaist.ac.jp/rcis/en
[2] http://www.jaist.ac.jp/
------------------------------------------------------------------------
Norbert Preining            preining@{jaist.ac.jp, logic.at, debian.org}
JAIST, Japan                                 TeX Live & Debian Developer
DSA: 0x09C5B094   fp: 14DF 2E6C 0307 BE6D AD76  A9C0 D2BF 4AA3 09C5 B094
------------------------------------------------------------------------