Research Institute for Mathematical Sciences, KYOTO UNIVERSITY

Assistant/associate professorship position

        We are currently seeking for a promising Ph.D. in theoretical computer
science in order to fill an assistant/associate professorship position at the
Research Institute for Mathematical Sciences (RIMS) of Kyoto University.
The knowledge of Japanese language is not required.

        The successful candidate would hold three-year appointment with a
possibility of a renewal of the contract.  The candidate is expected to be
devoted largely to her/his own research without any obligation towards
undergraduate education and administrative duties, though contacts with
graduate students are encouraged.

        RIMS is an integral branch of Kyoto University and consists of about
30 research scientists in pure/applied mathematics and mathematical physics as
well as computer science, including a large number of overseas and domestic
visitors with various lengths of stay.  Each researcher enjoys a
sufficient secretary assistance, updated computer and network services as well
as a fairly large amount of funds for overseas and domestic travels.

        The institute has graduate programs which are intended to promote
students wishing research career.  Yearly, we admit a relatively small number
of excellent students with strong mathematical background.  It also holds a
post-doctoral program called COE fellwoship (see the www home page).

For further information, please, contact any of the staff listed below.

Reiji Nakajima
Professor
Director of Computer Science
Research Group

http://www.kurims.kyoto-u.ac.jp

Garrigue, Jacques garrigue@kurims.kyoto-u.ac.jp
   BS,  Ecole Normale Superieure
   Dr.Sc, University of Tokyo
   Typed lambda calculus, Type Theory


Minamide, Yasuhiko nan@kurims.kyoto-u.ac.jp
   BS,MS,  Kyoto University
   Type Theory for Programming Languages,
   Functional Programmming Languages and compilers


Hasegawa, Masahito (effective from July, '97) mhas@dcs.ed.ac.uk
                                              hassei@kurims.kyoto-u.ac.jp
   BS,  Kyoto University
   PhD candidate, University of Edinburgh
   Theory of Programming Languages, Models
   of Interactive Computation

Nakajima, Reiji  Reiji@kurims.kyoto-u.ac.jp
   BS,  University of Tokyo
   PhD, University of California, Berkeley
   Theory of Computation, Formal Aspects of Reactive Systems
   Editor for Logic and Computation,
   and for Formal Aspects of Computing


Nisimura, Susumu  nisimura@kurims.kyoto-u.ac.jp
   BS, Kyoto University
   Dr.Sc, Kyoto University
   Data-parallelism, Program transformation


Ohori, Atsushi  ohori@kurims.kyoto-u.ac.jp
   BA,  University of Tokyo
   PhD, University of Pennsylvania
   Programming Language Theory, Data Model Theory
   Editor for Computer Journal of British Computer
   Society, and for Journal of Information Systems
   Program Committee  POPL98, OOPSLA97, ECOOP97

Ulidowski, Ireneusz  irek@kurims.kyoto-u.ac.jp
   BS,  Queen Marry and Westfield College, University of London
   PhD, Imperial College, University of London
   Concurrent Computation, Process Algebra


Viry, Patrick(post-doctoral fellow) viry@kurims.kyoto-u.ac.jp
   BS,  Universite Louis Pasteur, Strasbourg
   PhD, University of Nancy  1
   Term Rewriting, Process Algebras, Prallelism, Syntactic Editing