以下のポジションで研究員・プログラマーを募集しています．ぜひ国内からの応募もご検討ください．
- Scientific Programmer 募集（大学発スタートアップに向けた論理的技術基盤，2022/10）
- 博士研究員・特任教員募集（圏論と実践的モデル検査，2022/10）
- 博士研究員・特任教員募集（自動運転安全性の定理証明，2022/10）
関連して，協力して研究を行っている京都大学 五十嵐・末永研究室でも，次の求人があります．
以下のポジションで研究員・プログラマーを募集しています．ぜひ国内からの応募もご検討ください．
関連して，協力して研究を行っている京都大学 五十嵐・末永研究室でも，次の求人があります．