CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

更新履歴


2009/09/11 ◆メンバー一覧を更新しました。
2009/06/01 ◆メンバー一覧を更新しました。
2009/05/11 ◆メンバー一覧を更新しました。
2009/05/01 ◆方針声明(Policy Statement)を改訂しました。
2009/04/24 ◆テクニカルスタッフの募集を終了しました。(2009/04/01掲載分)
2009/04/03 ◆メンバー一覧を更新しました。
2009/04/01 ◆テクニカルスタッフの募集を掲載しました。
2009/03/16 ◆特別研究員およびテクニカルスタッフの募集を終了しました。(2008/11/07掲載分)
2009/02/27 ◆特別研究員およびテクニカルスタッフの募集を終了しました。(2009/02/20掲載分)
2009/02/20 ◆特別研究員およびテクニカルスタッフの募集を掲載しました。
2009/01/06 ◆研究テーマ型任期付研究員の募集を終了しました。(2008/12/22掲載分)
2008/12/22 ◆研究テーマ型任期付研究員の募集を掲載しました。
2008/11/07 ◆特別研究員およびテクニカルスタッフの募集を掲載しました。
2008/11/07 ◆特別研究員およびテクニカルスタッフの募集を終了しました。(2008/06/19、8/27掲載分)
2008/10/01 ◆メンバー一覧を更新しました。
2008/09/16 ◆メンバー一覧を更新しました。
2008/08/27 ◆特別研究員およびテクニカルスタッフの募集を掲載しました。
2008/07/10 ◆メンバー一覧を更新しました。
2008/07/01 ◆メンバー一覧を更新しました。
2008/06/19 ◆特別研究員およびテクニカルスタッフの募集を掲載しました。
2008/06/17 ◆メンバー一覧を更新しました。
2008/05/09 ◆方針声明(Policy Statement)を改訂しました。
2008/04/30 ◆特別研究員、招聘研究員およびテクニカルスタッフの募集を終了しました。(2008/02/04掲載分)
2008/04/15 ◆メンバー一覧を更新しました。
2008/04/08 ◆メンバー一覧を更新しました。
2008/04/02 ◆メンバー一覧を更新しました。
2008/03/03 ◆メンバー一覧を更新しました。
2008/02/04 ◆特別研究員、招聘研究員およびテクニカルスタッフの募集を掲載しました。
2007/10/03 ◆メンバー一覧を更新しました。
2007/09/05 ◆メンバー一覧を更新しました。
2007/08/01 ◆メンバー一覧を更新しました。
2007/07/25 ◆メンバー一覧を更新しました。
2007/05/14 ◆メンバー一覧を更新しました。
2007/05/07 ◆メンバー一覧を更新しました。
2007/04/23 ◆方針声明(Policy Statement)を改訂しました。
2007/03/05 ◆契約職員の募集を終了しました。(2007/01/22掲載分)
2007/03/05 ◆メンバー一覧を更新しました。
2007/01/24 ◆契約職員(特別研究員およびテクニカルスタッフ)の募集を掲載しました。
2007/01/22 ◆契約職員(研究補助業務、図書室司書業務、広報業務、情報システム運用管理業務)の募集を掲載しました。
2007/01/22 ◆メンバー一覧を更新しました。
2007/01/15 ◆リンク集のページを公開しました。
2006/11/06 ◆テクニカルスタッフ(図書室司書業務)の募集を掲載しました。
2006/10/23 ◆メンバー一覧を更新しました。
2006/10/03 ◆CVS教程(1)「4日間で学ぶモデル検査 初級編」正誤表ページを新設しました。
2006/10/01 ◆特別研究員およびテクニカルスタッフの募集を掲載しました。
2006/09/04 ◆契約職員の募集を終了しました。(2006/05/24掲載分)
2006/06/28 ◆CVS教程のページを新設しました。
2006/06/13 ◆第三回システム検証の科学技術シンポジウムページを公開しました。
2006/05/24 ◆特別研究員および契約職員の募集を掲載しました。
2006/04/27 ◆方針声明(Policy Statement)を改訂しました。
2006/04/10 ◆メンバー一覧を更新しました。
2006/04/03 ◆メンバー一覧を更新しました。
2006/03/24 ◆特別研究員の募集を終了しました。(2006/02/13掲載分)
2006/03/15 ◆特別研究員、契約職員(テクニカルスタッフ等)の募集を終了しました。(2006/02/13掲載分)
2006/03/13 ◆メンバー一覧を更新しました。
2006/02/13 ◆特別研究員、契約職員(テクニカルスタッフ等)の募集を掲載しました。
2006/01/30 ◆契約職員(テクニカルスタッフ)の募集を終了しました。(2006/01/04掲載分)
2006/01/25 ◆契約職員(広報業務、図書室司書業務、研究補助業務)の募集を終了しました。(2005/12/13掲載分)
2006/01/04 ◆契約職員(情報システム運用管理)の募集を終了しました。(2005/12/13掲載分)
2006/01/04 ◆契約職員の募集を終了しました。(2005/8/10掲載分)
2006/01/04 ◆契約職員の募集を掲載しました。
2005/12/13 ◆契約職員の募集を掲載しました。
2005/11/01 ◆メンバー一覧を更新しました。
2005/09/01 ◆ニュースレターのページを新設しました。
2005/08/11 ◆テクニカルスタッフ、アシスタントの募集を終了しました。(6/17掲載分)
2005/08/11 ◆テクニカルスタッフ、産総研特別研究員の募集を終了しました。(7/5掲載分)
2005/08/10 ◆テクニカルスタッフ、産総研特別研究員の募集を掲載しました。
2005/07/29 ◆6/27掲載のテクニカルスタッフ、産総研特別研究員、招聘研究員の募集を終了しました。
2005/07/05 ◆テクニカルスタッフ、産総研特別研究員の募集を掲載しました。
2005/06/27 ◆テクニカルスタッフ、産総研特別研究員、招聘研究員の募集を掲載しました。
2005/06/17 ◆テクニカルスタッフ、アシスタントの募集を掲載しました。
2005/06/14 ◆メンバー一覧を更新しました。
2005/06/14 ◆ポリシーステートメントを更新しました。
2005/06/09 ◆プレスリリースのページを新設しました。
2005/06/02 ◆テクニカルスタッフ・産総研特別研究員の募集は終了しました。
2005/05/13 ◆メンバー一覧を更新しました。
2005/05/12 ◆第二回システム検証の科学技術シンポジウムのページをオープンしました。
2005/04/12 ◆メンバー一覧を更新しました。
2005/04/08 ◆AIST/CVSワークショップのページをオープンしま した。
2005/04/04  ◆研修コーススケジュール更新しました
2005/03/28  ◆コンテンツをリニューアルし、URLをhttp: //unit.aist.go.jp/cvs/に移動しました。
2005/03/24 ◆メンバー一覧を更新しました
2005/03/17 ◆契約職員(1〜3号)の募集は終了しました。
2005/03/17 ◆情報システム管理運用技術者は募集を終了しました。
2005/03/17 ◆産総研特別研究員の募集は終了しました。

産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2010 AIST Research Center for Verification and Semantics, All Rights Reserved.