青木 奈央

研究員

職歴

  • 北陸先端科学技術大学院大学|JAIST

    ソフトウエア検証研究センター研究員

    石川県能美市 · 2011年9月から現在

  • キャッツ株式会社

 神奈川県・2016年3月から現在

 プロダクト事業本部 マネージャ

  • 独立行政法人 情報処理推進機構|IPA

    研究員

    東京都 · 2004年6月〜2007年3月

  • キャッツ株式会社

    神奈川県・2001年10月〜2011年5月

  • ジャスディック・パーク

    アシスタントコーディネーター

    東京都 · 2000年10月〜2001年9月

     

  • KVH Telecom

    アシスタントマネージャ

    東京都・ 2000年4月〜2000年9月

  • 日本マランツ

    ソフトウエアエンジニア

    神奈川県・1999年4月~2000年3月

Group: 
Research Center for Software Verification