Programming Language Laboratory - Welcome!

Computer Science and Engineering Department
Pohang University of Science and Technology

학생 및 Scala 전임개발자 모집

POSTECH 프로그래밍언어 연구실에서는 삼성 미래기술육성사업의 지원을 받아서 2015년 9월부터 밀기모델 기반의 차세대 Hadoop 계산 엔진 개발 연구를 수행하고 있습니다. 연구의 최종목표는 MapReduce, Tez, Spark보다 속도는 빠르고 프로그래밍 인터페이스는 동일한 새로운 Hadoop 계산 엔진 MR3를 개발하는 것입니다. MR3 개발은 Scala 언어를 이용합니다.

프로그래밍언어 연구실에서는 빅데이터, Hadoop, 분산 처리 시스템, 오픈소스 개발에 관심있는 석사/박사/통합 과정 대학원생 및 학부생 연구원을 모집합니다. 참여 학생은 MR3 관련 연구에 참여하게 되며 삼성 미래기술육성사업으로부터 지원을 받게 됩니다. Scala 프로그래밍 경험은 필요하지 않으며 컴퓨터공학 학부 핵심 과목을 충실하게 이해하고 있으면 됩니다.

프로그래밍언어 연구실에서는 MR3 개발에 참여할 Scala 전임개발자를 모십니다. Scala 프로그래밍 경험은 필요하지는 않으나 multi-threaded/distributed Java 프로그래밍 경험은 필수입니다. 특히 함수형언어 OCAML 또는 Haskell 프로그래밍에 익숙하면 우대합니다. Hadoop 환경에 익숙하면 좋지만 필수 요구 조건은 아닙니다. 삼성 미래기술육성사업을 통해서 대기업 수준으로 대우하며 자유로운 근무환경을 제공합니다.

자세한 문의는 박성우 교수에게 이메일을 보내시면 됩니다 (gla at postech.ac.kr).

Graduate student and Scala developer positions available

Programming Language Laboratory at POSTECH has recently started a new project entitled "Developing a next-generation computing engine for Hadoop based on the push model," which is sponsored by a grant from Samsung Research Funding Program for Future Technologies. Our goal is to design and implement a new computing engine for Hadoop, called MR3, that supports DAG, fault tolerance, and in-memory computing, thus delivering superior performance to existing technologies such as MapReduce, Tez, and Spark while providing the same programming interface. We are developing MR3 in the Scala programming language.

We are looking for new graduate students, at both master's and doctoral levels, in the fields of big data computing, Hadoop, distributed computing, and open source software. A prerequisite is a solid background in undergraduate computer science, and no prior experience with Scala programming or Hadoop is required.

We are also hiring regular developers who will contribute to the MR3 project. Prior experience with Scala programming is NOT required, but applicants should have working experience with multi-threaded or distributed Java programming. We are especially interested in hiring experts in functional programming with OCAML or Haskell. No prior experience with Hadoop is required. The salary, at par with the best in the industry, will be competitive and commensurate with the level of expertise and programming experience.

Applicants are invited to contact Professor Sungwoo Park (gla at postech.ac.kr).

Members

• Members
  - 박성우, Sungwoo Park
  - Dinh Hoang Mai
  - Le Minh Hoang
  

• Past Students
  - 임현승, Hyeonseung Im (PhD 06). Thesis: A Syntactic Type System for Recursive Modules. Defended in August 2012. Postdoc at INRIA. Assistant professor at 강원대.
  - 손민영, Minyoung Son (MS 06). SAIT (삼성전자 종합기술원).
  - 김진하, Jinha Kim (MS 06). POSTECH Data Mining 연구실.
  - 김태경, Taekyung Kim (MS 07). 중소기업은행.
  - 박종현, Jonghyun Park (PhD 08). Thesis: A Theorem Prover for Boolean BI. Defended in December 2012. Samsung Electronics.
  - 김동원, Dongwon Kim (PhD 09). SK.
  - 임정표, Jeongpyo Lim (MS 09). 현대 모비스.
  - 서정봉, Jeongbong Seo (MS 11). Samsung Electronics.
  - 박형철, Hyungchul Park (MS 12). Google.
  - 이원열, Wonyeol Lee (Undergraduate 13). PhD student at Stanford Computer Science.
  - Dinh Hoang Mai (MS 14). POSTECH Programming Language 연구실.
  

연구 결과

• A Proof System for Separation Logic with Magic Wand
• A theorem prover for intuitionistic modal logic S5
• BBeye: A Theorem Prover for Boolean BI (Bunched Implications)
• Mechanizing Metatheory without Typing Contexts
• Judgmental subtyping systems with intersection types and modal types
• PGG (Parser Generator Generator for functional languages)
• QuickParanoid

Life @ 프로그래밍 언어 연구실

• 우리들의 이야기 (Our Story)

Office: PIRL, 354
Phone: +82-54-279-5878

Web page maintained by Sungwoo Park