[logic-ml] 博士研究員募集（CREST「AI 集約的サイバーフィジカルシステムの形式的解析設計手法」）

[Kohei SUENAGA]

皆様，
（複数お受け取りの場合はご容赦ください．）

京都大学の末永です．

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`


-- 
Kohei Suenaga (末永幸平), Ph.D
Associate professor (准教授)
Graduate School of Informatics, Kyoto University
(京都大学情報学研究科)
ksuenaga at gmail.com
http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20201030/edc8e66b/attachment.html>