[TYPES/announce] Open Research Professor positions

[Bruno Oliveira]

Dear colleagues,

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

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

                      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

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

We are looking for a candidate with research focus on

- static analysis
- software verification & testing
- programming language theory & systems

The successful applicant is expected to lead top-quality research.
The ROSAEC center offers several opportunities for collaboration with a
group of highly-motivated, internationally competitive graduate and
undergraduate students as well as other post-docs and research
professors. In particular, the ROSAEC center has a number of master
students doing applied research for their master projects, which
provides the successful applicant with an opportunity for proposing and
supervising projects for those students.

Interested candidates should email any inquiry or the application
materials to:

Dr. Bruno C. d. S. Oliveira
Email: bruno at ropas.snu.ac.kr
Home: http://ropas.snu.ac.kr/~bruno/ <http://ropas.snu.ac.kr/%7Ebruno/>

or

Prof. Kwangkeun Yi
Email: kwang at ropas.snu.ac.kr
Home: http://ropas.snu.ac.kr/~kwang <http://ropas.snu.ac.kr/%7Ekwang>

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 KRW 40M to 60M (approximately USD 35K to 52K
  at current exchange rates) and comes with generous taxation rates. Salary
is
  determined based on the candidates research records and potentials.
- On-campus university housing (studio 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 languages,
  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).

- Seoul and Korea: Seoul is a modern, very well organized city, with
  an excellent public transportation system and it mixes up the best
  of the oriental and western cultures. Some knowledge of Korean is
  recommended for daily live but it is certainly not a necessity.
  Most young people will know some basic English and the city has
  English language signs and indications everywhere.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100811/03ac0940/attachment.htm