[logic-ml] 教員公募（東北大学 電気通信研究所 教授）

[Atsushi Ohori]

PPLの皆様，logic-mlの皆様，

（重複おゆるしください）メーリングリストをお借りして、
  教授１名（理論計算機科学等を含む基礎研究分野），
  応募締切 6月30日
の教員公募の案内をお送りいたします．


                                             東北大学 大堀 淳 
-------------------------------------------------------------------------
                          教員公募情報
            
東北大学大電気通信研究所では、教授職の教員を下記により公募いたします。

募集人員： 教授１名

所　　属： 
　システム・ソフトウェア研究部門 コンピューティング情報理論研究分野

専門分野： 　
　本分野では、情報の意味や計算の構造に関する基礎研究の飛躍的発展とその
応用的展開を通じて、複雑で多様な情報のより高速、より安全、より効率的な
処理の実現を目指します。 
　この実現のため、計算理論分野の基礎研究を対象とし、プログラム検証や自
動証明、高度コミュニケーションシステム、人工知能などへの応用に資する計
算理論への展開なども視野にいれた研究と教育を行います。

着任時期： 平成30年4月以降のなるべく早い時期

応募資格： 博士の学位を持つ者

応募期限： 平成29年6月30日（消印有効）

なお、提出書類や書類送付先などの詳細につきましては以下をご覧ください。

http://www.riec.tohoku.ac.jp/ja/information/proposals/2017/04/post-14412/
-------------------------------------------------------------------------