皆様

JAIST 情報科学研究科の教員公募のご案内を致します。 案内は以下の PDF からも入手可能です:

http://www.jaist.ac.jp/jimu/syomu/koubo/pdf/is_20121005.pdf

廣川 直 (JAIST)

- - - -

北陸先端科学技術大学院大学情報科学研究科ソフトウェア科学領域

募集人員　　助教 １名

専門分野及び関連する主な業務 ・研究：ソフトウェア検証分野に関する研究 ・教育：検証論分野担当教員と協力して、博士前期・ 　後期課程学生を指導。情報科学研究科の導入講義の 　一部を担当。

応募資格 　採用時に博士の学位を有する方。学生の指導に熱意 　を有し、数理論理や形式言語等の基礎理論のソフト 　ウェア検証への（ツール実装を含む）応用に意欲を 　もって研究を推進する方。国際的な共同研究の推進 　に意欲を持つ方。英語を使ってのグローバルコミュ 　ニケーション能力のある方（日本語能力は必須とし 　ない）。本学では、教員の選考に際して機会均等、 　多様性が重要と考え、女性や外国人の採用を積極的 　に進めています。

着任時期　　平成25年4月1日

提出書類 １．履歴書(写真添付)および学位証明書の写し、 ２．研究業績リスト（国際論文誌、査読付国際会議、 　　国内論文誌、研究会・国内シンポジウム等の発表 　　論文、著書、特許、その他に区別し、新しいもの 　　から順番に列記）、 ３．主要論文の別刷りまたはコピー（3編）、 ４．主たる研究概要（2000字程度)、 ５．研究、教育に関連するその他の活動（学術雑誌の 　　編集委員、国際会議のプログラム委員等学術的貢 　　献や標準化等の社会貢献など、また、受賞、研究 　　費調達状況など選考の参考になる事項、過去に担 　　当した講義等）、 ６．今後5年間の研究計画 (2000字程度)、 ７．教育に対する抱負 (2000字程度)、 ８．応募者本人の連絡先（郵便宛先と電子メールアド 　　レス）、 ９．推薦書2通、または意見を伺える方2名の氏名・所 　　属と連絡先（e-mail）

応募締切　　平成24年11月30日当日消印可

送付先　　　〒923-1292 石川県能美市旭台1-1 　　　　　　北陸先端科学技術大学院大学 　　　　　　情報科学研究科長　浅野　哲夫

※「教員応募書類在中（ソフトウェア科学領域・助教）」 　と朱書して、簡易書留にて郵送のこと。 ※ Eメールにより提出された書類は受け付けません。

照会先 　情報科学研究科 　（共通事務管理課共通事務第二係研究科長秘書） 　Tel: 0761-51-1155 　Fax: 0761-51-1149 　e-mail: [email protected]

その他 　本学に関する情報については、 http://www.jaist.ac.jp/index-jp.html をご覧ください。