Logic List Mailing Archive

Postdoctoral positions in "Computationism as a Foundation", Tokyo (Japan), Deadline: 17 December 2007

Open Recruitment for Global COE Postdoctoral Researchers

The "Computationism as a Foundation" (Comp-View) Center at the Tokyo
Institute of Technology was established in July, 2007 as a Global Center
of Excellence (GCOE) by the Ministry of Education, Culture, Sports,
Science, and Technology (MEXT) GCOE program.

"Computationism" is a framework which seeks to rethink various scientific
phenomena from the point of view of computation. The GCOE will develop
theories and technologies in order to explore this framework.

Term: The standard term will be 2 years (annual, renewable contract).
Location: Tokyo Institute of Technology Ookayama (Tokyo) campus
Hours: 40 hours per week.
Salaries / Support: Salaries will be paid on an annual scale according to
Tokyo Institute of Technology policies. Salaries will be comparable to
Japan Society for the Promotion of Science (JSPS) Postdoctoral Fellowships.
In addition, the GCOE plans to provide approximately 700,000 yen per year
for research support.

Start Date: April 1, 2008, or as early as possible after April 1, 2008
(no later than October 1, 2008).

Application Deadline:  December 17, 2007, JST 17:00

Qualifications: Must have received a doctoral degree, or be expect to
receive
a degree by starting date.  Candidates must have the ability to carry out
research in the specified subjects listed below.
*) Preference will be given to candidates who have completed a doctorate
at an institution other than the Tokyo Institute of Technology.  Candidates
with a doctorate from the Tokyo Institute of Technology should have at least
2 years of research at another institution.

Application Materials (in either Japanese or English):
a) Curriculum vitae / resume, including a recent photograph
   (taken within 3 months).
b) List of research accomplishments (e.g., publications,  presentations,
   awards, grants, patents)
c) A summary of prior research accomplishments (2 pages or less)
d) Three representative publications
e) Research plan (2 pages or less)
f) Contact information for two individuals who can provide recommendations
   (name, affiliation, phone number, and e-mail address).

Please send the above materials (a)-(f) electronically to the contact
address
listed below.  The title of the e-mail message should be:
"CompView Postdoc application".  Inqueries shoud also be sent to the same
address.


one for each subject

* Topic Area: Theory of Cryptograpy
     Algorithmic number theory,
     Foundations of cryptography,
     Computation of number theoretic problems,
     Intractability of cryptographic primitives,
     Reducibility among cryptographic primitives and its tightness,
     Provable security

GCOE members: Keisuke Tanaka (Information Security), Takakazu Satoh (Number
Theory)

Contact address: pdapply2crypto [ a t ] compview. titech. ac. jp


* Topic Area: Theoretical Computer Science
     Design and analysis of randomized algorithms,
     Average-case complexity,
     Circuit complexity

GCOE members: Osamu Watanabe (Theory of Computing), Toshiya Itoh (Algorithm
Science)

Contact address: pdapply2tcs [ a t ] compview. titech. ac. jp