[TYPES/announce] Open Research Professor positions

[Kwangkeun Yi]

Dear colleagues,

School of Computer Science and Engineering, Seoul National University
invites applications for 2 post-doctoral research professor positions.

-------------------------------------------------------------------------------

                      RESEARCH PROFESSOR POSITIONS

     Center For Research On Software Analysis For Error-Free Computing
                        http://rosaec.snu.ac.kr

                SCHOOL OF COMPUTER SCIENCE & ENGINEERING
                         SEOUL NATIONAL UNIVERSITY

-------------------------------------------------------------------------------

The Center for Research on Software Analysis for Error-free Computing
at Seoul National University (http://www.useoul.edu) invites
applications for

* 2 post-doctoral research professor positions
* the positions can be transfered in 3 years (depending on research
  achievements) to regular tenure-track faculty positions.

We are looking for candidates with research focus on

- static analysis
- software verification & testing
- programming language theory & systems
- corpus-based computation

Successful applicants are expected to lead a top-quality research and
work with a group of highly-motivated, internationally competitive
graduate and undergraduate students.

Interested candidates should email any inquiry or the application
materials to

Prof. Kwangkeun Yi
Email: kwang at ropas.snu.ac.kr
Home: http://ropas.snu.ac.kr/~kwang

Application materials: a resume, a personal research plan, and the names
of three or more references. Review of completed applications will
begin immediately. The position remains open until filled.

- Annual salary ranges from USD 40K to 70K (with generous taxation
  rates) depending on the candidates research records and potentials.
- On-campus university housing (1- or 2-bedroom apartment) provided.

---------------------
Background

- The center: Center for Research on Software Analysis for Error-free
  Computing (ROSAEC Center) has been established in September 2008 by
  by Korea Science and Engineering Foundation. The center consists of
  around 10 professors in static analysis, programming language,
  software engineering, HCI, data base, and machine learning.
  The goal of the center is to research on domain-specific
  static analysis and verification technologies.

- The university: Seoul National University is Korea's leading
  university. It has always out-performed other Korean universities,
  and is the preferred destination of top Korean high school
  students. It ranks with the leading universities in the Asia-Pacific
  region, particularly in research performance.

- Location: The university is situated in Seoul, surrounded by rugged
  mountains, yet with a short ten-minute bus-ride to bustling
  shopping areas, where you may join the highly efficient Seoul
  metro system, and explore the great metropolis. Seoul is centrally
  located in the north east Asia: two-hour flight from Seoul reaches
  to Beijing(to the west) and Tokyo(to the east).
---------------------