- 2010/04 - 2010/09 Information Technology Research Institute of Advanced Institute of Science and Technology (AIST) Research scientist
- 2010/04 - 2010/09 Collaborative Facilities for Verification, National Institute of Advanced Industrial Science and Technology (AIST) Research scientist
- 2010/04 - 2010/09 産業技術総合研究所 産学官連携推進部門関西産学官連携センター組込みシステム技術連携研究体[任期付き常勤研究員](兼)情報技術研究部門[研究部門付]
- 2008/04 - 2010/03 Collaborative Facilities for Verification, National Institute of Advanced Industrial Science and Technology (AIST) Research scientist by second profession
- 2008/04 - 2010/03 産業技術総合研究所 組込みシステム技術連携研究体 (併任) 任期付き常勤研究員(プロジェクト型)
- 2006/10 - 2010/03 Center of Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST) Research scientist
- 2005/10 - 2010/03 産業技術総合研究所 システム研究センター 任期付き常勤研究員(プロジェクト型)
- 2003/04 - 2006/09 Laboratoly of Verification System, National Institute of Advanced Industrial Science and Technology (AIST) AIST Research Staff [postdoc][Core Research for Evolutional Science and Technology(CREST)]
- 2006/01 - 2006/03 Visiting researcher/developer at Chalmers University of Goteborg [postdoc][Core Research for Evolutional Science and Technology(CREST)]
- 2003/04 - 2005/09 産業技術総合研究所システム検証研究ラボ 戦略的創造推進事業 CREST ポスドク 『検証における記述量爆発問題の構造変換による解決』 研究終了報告 : http://www.jst.go.jp/kisoken/crest/report/sh_heisei14/jyouhou/kinoshita.pdf
- 2005/01 - 2005/03 スウェーデン Chalmers 工科大学(共同研究開発のための滞在) 戦略的創造推進事業 CREST ポスドク
全件表示