Postdocs in Operating Systems

Summary

Assoc. Prof. Shinagawa is seeking Project Researchers (Postdocs) at the University of Tokyo to promote a five-year research project on operating systems, virtualization, and security.

Job Outline

  • Position: Project Researcher (Postdoc)
  • Location: The University of Tokyo
  • Term: April 1, 2023 through March 31, 2024, will be renewed annually up to March 31, 2028 (maximum 5 years)
  • Salary: 400,000 to 800,000 yen (approximately $2,800 to $5,600) per month
  • Application Deadline: December 31, 2022
  • Application Method: JREC-IN
  • Other Detail: PDF file on the university website

Job Description

The University of Tokyo is the top university in Japan, ranked 39th in the World University Rankings 2023 of the Times Higher Education (THE). The Shinagawa Laboratory at the University of Tokyo conducts system software research focusing on operating systems, virtualization, and security, and has published papers in OSDI, ASPLOS, VEE, and so on. Prof. Shinagawa is affiliated with the Information Technology Center, and therefore this position is also affiliated with the same organization.

The person in this position is expected to promote a research project led by Prof. Shinagawa and funded by Japan Science and Technology Agency (JST) for the Core Research for Evolutional Science and Technology (CREST). This research project is entitled “A Comprehensive Security Infrastructure System by Isolated Execution and Formal Verification” which will run for 5.5 years, from October 2022 to March 2028. In this project, we will develop novel isolated execution environments at various levels (process, OS, virtual machine, TEE, hardware, etc.) and verify the interfaces between these execution environments. We will also leverage advanced technologies such as fuzzing and deep learning to implement a variety of novel security features. In addition, we will establish a comprehensive security center to enforce security policies across the entire system, from the cloud to the edge.

Accordingly, the requirements for applicants are as follows.

  1. Applicants must have a Ph.D. degree in Computer Science
  2. Applicants should have experience in research and development of low-layer system software (OS kernels, hypervisors, etc.).
  3. Applicants should be familiar with system programming languages (C, C++, Rust, etc.) and CPU architectures (x86, Arm, RISC-V, etc.)

The person in this position must focus primarily on conducting the JST CREST research project, but is also allowed to conduct their own research within 20% of the total work time. The difference with the assistant professor position is that this position has no teaching obligation.

Japan is a safe and clean country filled with fascinating culture and delicious food, and is also easy to live because of friendly people and a low cost of living. COVID-19 restrictions have also been relaxed considerably, making it easier to enter the country. We look forward to hearing from motivated applicants who are willing to promote cutting-edge system software research in Japan and aim to have our papers accepted for top conferences.