Masanori Ogino 𓀁

181351 posts 1993 follows 1215 followers

Please pay attention to random failures.

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

産総研 - 採用情報　契約職員募集（つくばセンター） https://unit.aist.go.jp/hrd/keiyaku_koubo/30-itri_0018.html

「IoTの安全性のための検証ツールの研究開発
①定理証明支援系Coqによるプログラムの形式化・形式仕様作成・形式検証
(参考文献: https://staff.aist.go.jp/reynald.affeldt/documents/mona_equa.pdf)
②定理証明支援系CoqによるC言語のコード生成の実験
(参考文献: https://staff.aist.go.jp/tanaka-akira/succinct/)」

修士の学生が対象なので興味がある方は募集要項を読もう