教職員公募等情報
研究員公募情報
Last Updated: 2025.6.24
| 配属先 | 募集人員 | 職務内容 | 締切日 |
|---|---|---|---|
| 先端科学技術研究科 コンピューティング科学研究領域（髙木研究室） | 研究員 （パートタイム職員）1名 |
理論計算機科学（特に数理論理学や普遍代数学）もしくはそれに基づく形式検証ツールに関する研究 | 採用者が決定次第締め切り |
| 先端科学技術研究科 次世代デジタル社会基盤研究領域（青木研究室、石井研究室、冨田研究室） | 研究員 （契約職員） 1名 |
次世代車載基盤システムのための形式手法と検証ツールに関する研究 | 採用者が決定次第締め切り |
