リサーチアシスタント（大学院生対象・有給）を募集しています。3月31日応募締切です（適任者が見つかるまで延長されると思います）。また同様のテーマでインターンも歓迎します。

様相論理・数理最適化・強化学習などの理論とプログラミング（現状はMATLAB/SimulinkとPythonを使用）ができる方を歓迎します。

https://unit.aist.go.jp/hrd/keiyaku_koubo/2022-cpsec_0005.html