皆様， （複数お受け取りの場合はご容赦ください．）
京都大学の末永です．
CREST「数理的情報活用基盤」領域において，今年度から末永が代表を務める プロジェクト「AI 集約的サイバーフィジカルシステムの形式的解析設計手法」が 開始される予定です．これに伴い，形式検証やテスト手法を専門とする 研究員を募集しております．詳しくは本メール末尾の要領もしくは https://hackmd.io/HqD7t6atQyuXzMyKuLX3UQ?both をご覧になり，応募をご検討いただけますと幸いです． また，適任な方にお声がけいただけますと大変ありがたいです．
また，本プロジェクトに関わる博士課程学生には 給与を支払いつつ研究を進めていただける可能性があります． 修士の学生の方はこちらもご検討ください．
なにかご質問がありましたら， ksuenaga [at] fos.kuis.kyoto-u.ac.jp か application-cyphai [at] fos.kuis.kyoto-u.ac.jp までご連絡いただければと思います．
どうぞよろしくお願いいたします．
末永
-- # 2+ postdoc researchers (max 5 years) and 4+ Ph.D. students in formal methods and control theory for AI-intensive cyber-physical systems in Kyoto or Tokyo, Japan
## Description
We are seeking 2+ postdoc researchers and 4+ Ph.D. candidates who collaborate with us in the project "CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical Systems" funded by JST. This project aims at establishing mathematically-solid methodologies to model, verify, test, monitor, and control a cyber-physical system in which AI plays crucial role (AI-CPS). Successful candidates will work with Kohei Suenaga (Kyoto University, Kyoto, Japan) or Masako Kishida (National Institute of Informatics, Tokyo, Japan) on this project. The contract will initially run until the end of March 2021, with the possibility of annual renewal at maximum 5 years.
Although this call is for members working in Japan, this project is a joint project with a team in France led by Thao Dang (CNRS). We will be working in tight collaboration with our colleagues in France.
The main research topic of Suenaga's team will be learning for AI-CPS and verification of AI-CPS. The expected research topic includes (but is not limited to) the following: (1) application of machine learning to synthesize the design of AI-CPS, (2) efficient machine learning for AI components in AI-CPS, and (3) (quantitative/statistical) model checking for AI-CPS.
The main research topic of Kishida's team will be the control theory and method for AI-CPS. The expected research topic includes (but is not limited to) the following: (1) application of machine learning for designing a controller and (2) control for machine-learned components.
## Positions
### Postdoc researchers
You will pursue your research agenda in line with the project's goal of applying formal methods to manufacturing. You need a Ph.D. degree (or to be close to completion) and a proven publication record. The experience of active interdisciplinary collaboration is highly desirable. The annual gross salary is determined according to the rules of the hiring instiution based on your qualifications. Insurances are covered according to the rules of the hiring institutions.
### Research Assistants (Ph.D. Students)
We also invite students who will pursue their Ph.D. degrees under the supervision of Kohei or Masako. We may be able to cover your tuition and living expenses, although it's been the norm for Ph.D. students in Japan to cover these expenses by themselves; the salary will be as competitive as that of [JSPS Research fellowships]( https://www.jsps.go.jp/english/e-pd/index.html). You need to pass the entrance examination conducted by the institution that your prospective supervisor belongs to.
## Workplace
Members of Suenaga's group will work at Kyoto University, Kyoto, Japan. Members of Kishida's group will work at the National Institute of Informatics, Tokyo, Japan.
## Qualifications
A successful applicant must satisfy the following requirements.
### Postdoc researchers
+ He/She must have a Ph.D. degree or must be very close to its completion. + He/She must be (self-)motivated, dedicated, open-minded, and able to work both independently and collaboratively. + He/She must have strong communication skills in oral/written English due to the international and interdisciplinary nature of our project. + He/She must be an expert of the following area. + If you work in Suenaga's group: One or more among the following areas: + formal verification and/or testing of software and/or hybrid systems; especially statistical model checking and quantitative model checking + verification and/or testing of machine-learning systems + If you work in Kishida's group: One or more among the following areas: + control theory with rigorous mathematics + learning based control for cyber-physical systems + symbolic control + hybrid systems
### Ph.D. students
+ He/She must be (self-)motivated, dedicated, open-minded, and able to work both independently and collaboratively. + He/She must have strong communication skills in oral/written English due to the international and interdisciplinary nature of our project. + He/She must be familiar with the following areas. + If you work in Suenaga's group: One or more among the following areas: + formal verification and/or testing of software and/or hybrid systems + verification and/or testing of machine-learning systems + If you work in Kishida's group: One or more among the following areas: + control theory with rigorous mathematics + learning based control for cyber-physical systems + symbolic control + hybrid systems
## Applications and inquiries
Applications should be sent to `application-cyphai [at] fos.kuis.kyoto-u.ac.jp`, with the subject `CREST Job Application` Please include + your brief CV, + short description of research interests (can be very informal and short), + the list of papers (a dblp or Google scholar link will do, for example), + a couple of representative papers (in pdf), and + (preferably) the contact of two references.
We will contact you for further material and interview, provided that we find sufficient relevance in your application. Starting dates are flexible. The positions will remain open until filled. The project ends in March 2026.
Inquiries should also be sent to `application-cyphai [at] fos.kuis.kyoto-u.ac.jp`, with the subject `CREST Job Inquiry`