[TYPES/announce] Postdoc positions in the "Modularity for Supercomputing" Project

[Atsushi Igarashi]

New postdoc positions are available for the 5-year JST/CREST project

       Software development for post petascale supercomputing
               --- Modularity for supercomputing ---

(see the project description below for more details), conducted
jointly at the University of Tokyo, Kyushu University, and Kyoto
University.

The appointment can start as early as in April 2012 (the starting date
is negotiable). The contract of appointment will be renewed for each
academic year, and can be extended up to March 2017, subject to
performance. Salary will be about 4,000,000 upto 5,000,000 JPY
(Japanese yen) per year.

Applicants should have a PhD in computer science, software
engineering, or related fields, and have a strong background in at
least one (preferably two or more) of the following topics:
programming languages, software engineering, high-performance
computing, and theoretical computer science.

Interested candidates are invited to send a detailed CV via email to
Shigeru Chiba (chiba at is.titech.ac.jp), no later than December 15,
2011.  As mentioned above, the whole project consists of four research
groups distributed over Japan; we will decide which group he or she
will belong to, according the applicant's expertise and preference.

--------------------
Project Description
--------------------

Project Title: Software development for post petascale supercomputing
              --- Modularity for supercomputing ---
Project Home Page: http://modularity.jp/
Principal Investigator: Shigeru Chiba
Collaborators: Hidehiko Masuhara, Naoyasu Ubayashi, Atsushi Igarashi
Project Term: October 2011 - March 2017
Appointment: 1 year, can be extended according to performance


Software development for supercomputing (SC) is extremely hard, mainly
because application programmers require deep knowledge about the
architecture, operating system, and middleware of the supercomputer,
not to mention the application domain.  The goal of our project is to
address the difficulties by applying language-based
technologies---more specifically, technology based on product line
architectures---to software development for supercomputing.

Towards our goal, we study programming languages and software
development environments in which each individual developer or
researcher can easily build their own product lines for their favorite
supercomputing applications.

Our main research topics are as follows:

 Chiba's group: Design and implementation of a new programming
 language that provides functionality for advanced modularity and
 frameworks in high-performance computing.  In particular, with
 minimal execution overheads and static typing.

 Masuhara's group: Design and implementation of domain-specific
 languages (DSLs) for prototyping highly-parallel scientific
 applications and for experimenting optimization techniques.
 Particular goals are: (1) DSLs embedded into dynamic programming
 languages such as Ruby and executable highly-parallel architectures
 such as GPGPU, and (2) design and implementation of the DSLs'
 framework to support modular optimization techniques.

 Ubayashi's group: Domain-specific language (DSL) construction methods
 based on product-line architecture. We plan to develop a DSL for open
 source repository mining, one of the important research fields
 requiring high performance computing.

 Igarashi's group: Type systems for efficiently checking safety of
 highly modularized software components, supported by the language
 devoloped by Chiba's group.  Customizable type systems for
 domain-specific languages.