Skip to content

ERATO Metamathematics for Systems Design Project

This website at NII is supplementary to the official website at JST.

Language

English
日本語
中文

Top
About
Members
Open Positions
- PhD Students
- Internship Students
Papers
Theses
Events
- ERATO MMSD Symposium on Automated Driving Safety
- ERATO MMSD Seminars for Automotive Industry (Members Only)
Access & Contact

Search

Search for:

Recent Posts

Distinguished paper award at 35th International Conference on Computer Aided Verification
Three papers accepted for CAV 2023
Open Positions
A New Method for Mathematically Proving the Safety of Automated Driving Vehicles
— Accelerating Social Acceptance of Automated Driving by Efficiently Deriving Logical Safety Rules —
Open Positions

Archives

August 2023 (2)
May 2023 (3)
October 2022 (2)
July 2022 (2)
March 2022 (2)
November 2021 (1)
October 2021 (4)
June 2021 (1)
March 2021 (2)
October 2020 (2)
September 2020 (2)
March 2020 (3)
November 2019 (6)
October 2019 (2)
August 2019 (2)
May 2019 (4)
April 2019 (3)
March 2019 (7)
December 2018 (3)

Month: March 2022

Open Positions

The following positions are currently open.

Scientific programmer
PostDoc researcher in formal verification extended with optimization metaheuristics

Posted on 2022-03-192022-04-17Author Ichiro Hasuo

Proudly powered by WordPress