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
Papers
Theses
Events
Access & Contact

Search

Search for:

Recent Posts

Best paper award at 21st International Colloquium on Theoretical Aspects of Computing
Postdoc & Senior Researcher Positions
ERATO MMSD Project Symposium on June 19, 2024
Distinguished paper award at 35th International Conference on Computer Aided Verification
Three papers accepted for CAV 2023

Archives

December 2024 (1)
September 2024 (2)
August 2024 (1)
May 2024 (2)
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)

Open Positions

Researcher positions, PhD studentships and internships are available. Consult the menu items.

Proudly powered by WordPress