[logic-ml] 教員公募（名古屋大学情報科学研究科・准教授）

[Jacques Garrigue]

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) 本学では採用に際して男女共同参画に配慮しております．

-- 
Shoji Yuen, Graduate School of Information Science, Nagoya Univ., Japan
結縁祥治　名古屋大学大学院情報科学研究科
+81-52-789-3649