[TYPES/announce] Postdoc positions at Seoul National Univ.

Kwangkeun Yi kwang at ropas.snu.ac.kr
Sun Dec 25 21:30:31 EST 2011


Dear all,

The Center for Research On Software Analysis for Error-free Computing at 
Seoul National University is looking for postdoctoral researchers in 
static analysis, software verification, programming language theory and 
software system security.

The postdocs can work on pretty much any research topics of his 
preference collaborating with our highly motivated research members and 
her/his colleagues.

Please see below for more information and if you are interested, please 
don't hesitate to contact me.

All the best,

-Kwang

Kwangkeun Yi, Professor
School of Computer Science and Engineering
Seoul National University
kwang at ropas.snu.ac.kr
ropas.snu.ac.kr/~kwang


-------------------------------------------------------------------------------
                POSTDOCTORAL 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://en.snu.ac.kr) invites applications for

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

We are looking for candidates with research focus on

- static analysis
- sw verification
- programming language theory & system

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 is negotiable, internationally competitive (with 
generous taxation rates) and depends on the candidates research records 
and potentials.
- On-campus university housing (1- or 2-bedroom apartment) provided.

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



More information about the Types-announce mailing list