A programmer position under government research funding (JP/EN) towards a research-oriented startup. An excellent opportunity for those who value both the scientific pursuit of novelties and industrial and social impacts. We look for programmers with a formal logic background. Come join us on the venture!
Published in October 2022.
Hasuo Laboratory at the National Institute of Informatics invites applications for a scientific programmer. The candidate will work for the JST START project “Real-World Deployment of Automated Driving via Logical Explanation of Quality of Software” and develop tool suites that combine formal logic techniques (deductive verification, program logic, temporal logic, automata theory) and statistical techniques (stochastic optimization, machine learning).
The JST START project (JP/EN) will run until March 2025, by the end of which we expect to found a research-oriented startup. The candidate will participate in laying down the technical foundations of the company.
The successful candidate will have a scientific background in formal logic, and be comfortable with both server side and frontend programming. The work will be in close collaboration with Dr. James Haydon and Prof. Ichiro Hasuo.
- Proofs by structural induction.
- Familiarity with formal logic.
- Familiarity with basic functional programming (Haskell, OCaml, Scala, …).
- Ability to read and implement academic papers.
- Familiarity with, or eagerness to learn, the following technologies.
- Compiler/interpreter programming, parsers, etc.
- Basic frontend development (React, Typescript).
- Must be able to communicate and work well with various team members and customers.
- Strong willingness to learn and experiment with new technologies.
- Fluency in English.
- DevOps experience.
- Familiarity with optimization algorithms (linear programming, semidefinite programming, …).
- Familiarity with statistical and machine learning techniques (statistical optimization, neural networks, reinforcement learning, …).
- (Japanese language skills are appreciated but not mandatory.)
The candidate must possess a minimum of a master’s degree in Computer Science or a related field. A combination of education, training, or certification that provides the requisite knowledge, skills, and abilities may be substituted for the degree.
- This call was posted in October 2022. It will remain open until the position is filled.
- Annual gross salary: JPY 5,868,000 — 8,580,000 yearly, gross (depends on qualifications and experience).
- The contract is initially until the end of a fiscal year (March 31), with the possibility of extension (maximum until the project ends in March 2025).
- Our admin staff will provide support for moving, visa application, etc.
- Starting date: as early as possible
- Location: Tokyo, Japan (remote work from abroad is not allowed)
APPLICATIONS AND INQUIRIES
Applications should be sent to application_eratommsd [at] group-mmm.org, with the subject “ERATO Scientific Programmer Application.” Please include
- your brief CV,
- and any other optional materials that speak for your experience and expertise.
We will contact you for further material, provided that we find sufficient relevance in your application.
Inquiries should also be sent to application_eratommsd [at] group-mmm.org, with the subject “ERATO Scientific Programmer Inquiry.”
LIVING AND WORKING IN TOKYO
We have employed 10+ researchers and scientific programmers from abroad–see our list of members/former members. We have ample experience of supporting them in coming to and living in Tokyo.
Tokyo is not an expensive city. On actual prices and availabilities you will find a lot of information sources on the web (including this). Some sample prices:
- An studio apartment, 30m2, 30min door-to-door to our Tokyo site: JPY 80,000 / month
- A 2-bedroom apartment, 40m2, 20min door-to-door to our Tokyo site: JPY 130,000 / month
- A 15-min metro ride: JPY 200
- A quick (but nice) Japanese set meal: JPY 600-1000
- An exquisite sushi set meal (which even locals rarely have 🙂 ): JPY 30,000
- A pint of beer: JPY 700
You can easily find an apartment using the following websites: www.sabbaticalhomes.com, www.sakura-house.com/en, gaijinpot.com, and others.
The working environment is totally in English, with more than half of the team coming from abroad. Japanese language skills will help everyday life, but one can definitely live without them, as we know from our colleagues’ experience.