PPLおよびlogic-mlの皆様、

名古屋大学のGarrigueです。 名古屋大学の結縁先生のご依頼で、 教員公募（名古屋大学情報科学研究科・准教授） をお送りします。

====================================== （重複してお受け取りの場合はご容赦ください。） 名古屋大学の結縁です。メーリングリストをお借りして 公募情報をお送りいたします。

名古屋大学情報科学研究科情報システム学専攻 准教授　１名 応募期限　4/28(消印有効) ------------------------------------------- 平成 27 年 2 月 4 日 関係各位 名古屋大学 大学院情報科学研究科 研究科長　 坂部俊樹 教員の公募について（依頼）

謹啓　時下ますますご清祥のことお慶び申し上げます．さて，この度 当研究科では，下記の要領により，教員を公募いたします．つきまし ては，貴学（機関）関係者にご周知いただければ幸いです． 謹白

記

1. 公募対象：准教授 1 名（名古屋大学 大学院情報科学研究科情報シ ステム学専攻 ソフトウェア論講座） 2. 専門分野：ソフトウェア科学 (プログラムの検証理論，検証技術など) 3. 担当科目：情報科学研究科情報システム学専攻の講義および大学院 学生の指導，工学部電気電子・情報工学科の講義および学生の指導， 全学教育の講義 4. 応募資格：博士の学位を有する方 5. 任期：なし 6. 着任時期：2015 年 10 月 1 日以降のできるだけ早い時期 7. 提出書類： (1) 履歴書（写真付き） (2) 研究業績リスト（著書，学術論文誌，国際会議などを区分して記述） (3) 主要論文別刷（主要なもの 3 編以内，コピーも可） (4) これまでの研究概要（A4 用紙 2 枚程度） (5) 今後の研究計画および教育についての抱負（A4 用紙 1 枚程度） (6) その他選考に役立つ情報（教育実績，学会および社会活動，獲得した 外部資金，受賞，特許，ソフトウェア開発実績など） (7) 応募者の業績について問い合わせることのできる方 2 名の氏名と連絡先 8. 応募期限：2015 年 4 月 28 日（火）(郵送の場合，当日消印有効) 9. 書類提出先および問い合わせ先： 〒 464-8603 名古屋市千種区不老町 C3-1（631） 名古屋大学 大学院情報科学研究科 平成 26 年度情報システム学専攻長　高田広章 TEL: 052-789-5887 Email: hiro ＠ is.nagoya-u.ac.jp ★封筒に「情報システム学専攻教員応募書類在中」と朱書し，持参または書留で郵送し て下さい． 10. 備考： (1) 応募書類は原則として返却しません． (2) 応募書類は本選考のみに使用し，他の目的には使用しません． (3) 選考の過程でプレゼンテーションをお願いすることがあります． (4) 本学では採用に際して男女共同参画に配慮しております．