当前位置: 硕博英才网 > 博士后招聘 > 国外博士后招聘 >

西班牙IMDEA软件研究所2020年招聘博士后职位(计算机/自动控制方向)

发布时间:2020-10-20 10:46信息来源:西班牙IMDEA软件研究所

西班牙IMDEA软件研究所2020年招聘博士后职位(计算机/自动控制方向)

POSTDOC IN AUTOMATA THEORY

Job Description

Postdoc in Automata Theory

The IMDEA Software Institute (Madrid, Spain) invites applications for one research postdoc in the area of Automata Theory. The successful candidate will join the Formal Languages & Verification group led by Pierre Ganty.

Using our in-house abstract interpretation based approach to language inclusion the candidate will make use of the properties families of right congruence to develop new algorithms and thoroughly evaluate their performance on realistic benchmarks.

Who should apply?

Applicants should hold a PhD in computer science. Knowledge of language / automata theory is required. Advanced knowledge of congruence relation and abstract interpretation will be considered a plus.

Working at IMDEA Software

The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the institute is English. Knowledge of Spanish is not required. Due to COVID-19, it might be possible to perform the work remotely granted that the situation of the selected candidate allows it.

Dates

The postdoc duration is intended to be for 12 months. The ideal starting period is from early November 2020.

更多最新博士后招收信息请关注博士后招聘网微信公众号(微信号:boshihoujob)

声明:凡本网注明“来源:XXX”的文/图等稿件,本网转载出于传递更多信息及方便产业探讨之目的,并不意味着本站赞同其观点或证实其内容的真实性,文章内容仅供参考。如其他媒体、网站或个人从本网站转载使用,须保留本网站注明的“来源”,并自负版权等法律责任。作者如果不希望被转载或者联系转载等事宜,请与我们联系。邮箱:shuobojob@126.com。

微信公众号

关注硕博英才网官方微信公众号

硕博社群

更多社群>