[TYPES/announce] assistant professor position in JAIST

Nao Hirokawa hirokawa at jaist.ac.jp
Thu Oct 11 00:45:33 EDT 2012

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: 

Best regards,
Nao Hirokawa (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.

 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:

More information about the Types-announce mailing list