[TYPES/announce] assistant professor position in JAIST

[Nao Hirokawa]

Dear all,

The School of Information Science at JAIST is currently seeking 
applicants for an assistant professor position with skills in
software verification.   Detail information is described below.
See also: 
  http://www.jaist.ac.jp/jimu/syomu/koubo/pdf/is_20121010-e.pdf

Best regards,
Nao Hirokawa (JAIST)

----------------------------------------------------------
FACULTY POSITION
JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY (JAIST)
----------------------------------------------------------

Position Title: 
 a five-year term assistant professor

Job Description: 
 The successful candidate is expected: 
  - to conduct active research in the field of Software Verification;
  - to supervise students in master's and doctoral programs of 
    School of Information Science; and
  - to give introductory courses in School of Information Science.

Qualifications:
 The successful candidate is expected:
  - to possess a Ph.D in a related field by the time of contract;
  - to possess a strong enthusiasm for research and education;
  - to be competent in conducting research in the area of
    software verification, especially bridging the gap between 
    theory (e.g., mathematical logic, formal languages) and
    practice (including tool implementation); 
  - to be capable of taking international research initiatives
    and collaboration;
  - to be fluent in English. 
 Foreigners and women are encouraged to apply for the position.

Starting Date: April 1st, 2013

Application Documents:
(1) Curriculum Vitae and copies of degree certificates; 
(2) A list of research activities and 
    accomplishments in reverse chronological order categorized into:
    international journal publications, reviewed international
    conference papers, domestic journal and conference publications,
    books, and others;
(3) Hard copies of three (3) most significant publications;
(4) 1500-word summary of main research activities;
(5) Other related activities including information concerning successful
    funding, prizes, patents, activities in academic societies such as 
    organization and membership of conference program committee of
    international meetings, editorship of international/domestic journals;
(6) 1500-word research plan during the term;
(7) 1000-word description of your aspiration for educational activities;
(8) Contact address, e-mail, phone number and fax number;
(9) Two (2) letters of recommendation or the contact information of
    two (2) references including names, mailing addresses, e-mail 
    addresses, phone and fax numbers.

Application Due: November 30th, 2012

Send the application materials to:
  Attention to: Dean, Professor Tetsuo Asano
  School of Information Science 
  Japan Advanced Institute of Science and Technology
  1-1 Asahidai, Nomi, Ishikawa, 923-1292 JAPAN

* Write "Application documents for assistant professor for Software Science"
  in red ink on an envelope containing the documents, and send these 
  documents by registered mail (priority mail).
* It should be noted that documents submitted via e-mail are not accepted.

For more information, contact:
  School of Information Science
  (Graduate School Secretarial Service Department)
  E-mail: is-dean at jaist.ac.jp 
  Tel: +81-761-51-1155, Fax: +81-761-51-1149

More detailed information about Japan Advanced Institute of Science
and Technology, and School of Information Science is available at:
  http://www.jaist.ac.jp/index-e.html