[logic-ml] ポスドクの公募（＠産総研関西センター）のお知らせ

*** 重複して受け取られた場合はご容赦ください ***

みなさま、

産業技術総合研究所の北村と申します。

本 ML をお借りいたしまして、産総研（関西センター）でのポスドク公募 のお知らせをさせていただきます。

弊所情報技術研究部門ソフトウェアアナリティクス研究グループでは、 現在、ポスドクの公募を行っております。

採用者は、当研究グループが開発するモデルベーストのソフトウェアテスト 技術に関する研究プロジェクトに従事していただきます。

主な仕事内容は以下の通りとなります。 ・テスト自動化のためのアルゴリズムの研究やプログラムコードの開発 ・企業と共同実施による本技術の実証実験 ・ソフトウェアテストに関するチュートリアルやセミナの開発 ・研究論文の執筆

本プロジェクトでは、ソフトウェアツール開発が重要な項目であり、C++ に よるプログラムコードの開発技術・経験が求められます。また研究対象となる 技術はソフトウェアテストに関するものですが、アルゴリズムや論理学、 形式手法の側面も強く、これらについて素養があることが望ましいです。 （ただし、必須ではないです。）

雇用条件・応募方法等は以下をご参照ください。 https://unit.aist.go.jp/hrd/keiyaku_koubo/list_dith_1_kansai.html#itri https://unit.aist.go.jp/hrd/keiyaku_koubo/27-itri_0028.html

応募締め切りが「平成27年6月8日(月)」とありますが、延長可能ですので、興味のあ る方やまずはお早めに、私のほうにメールだけでもいただければと存じます。

以上、よろしくお願いいたします。