> > 海外>

英国邓迪大学计算机学院博士后招聘

2012-03-12 18:31 来源: 未知 作者: admin

Postdoctoral Research Assistant
University of Dundee - Computing
Summary of Job Purpose and Principal Duties

Fixed term 13 months

Salary - Grade 7 point 29, £29,249

The School of Computing at the University of Dundee invites applications for a postdoctoral researcher to work on an Automated Proof-Pattern Recognition project, entitled Machine-Learning Coalgebraic Automated Proofs (ML-CAP).

Any Additional Information

Automated theorem provers of different kinds -- interactive and higher-order (e.g. HOL or Coq) or automated first-order (Prover9, Event-B) have been successfully developed into sophisticated environments for mechanised proofs.

Whether these provers are applied to big industrial tasks in software verification, or to formalisation of mathematical theories, a programmer may have to tackle thousands of lemmas and theorems of variable sizes and complexities. A proof in such languages is constructed by combining a finite number of tactics. Some proofs may yield the same pattern of tactics, and can be fully automated, and others may require a user's intervention. In this case, manually found proof for one problematic lemma may serve as a template for several other lemmas needing a manual proof.

Another issue is that unsuccessful attempts of proofs occurring in the trial-and-error phase of proof-search, are normally discarded once the proof is found.

At present, this kind of proof-pattern recognition and recycling is done by hand, and the ML-CAP project will look into methods to automate this.

This project will run in collaboration with a bigger AI4FM project (http://www.ai4fm.org/), based in the Universities of Edinburgh, Heriot-Watt, Newcastle.

The project is focused on the statistical/inductive aspects of automated theorem proving ; namely, on applications of proof-pattern recognition in proof-search.

We are looking for a researcher to spend up to 13 months in the Dundee team developing ML-CAP techniques. This will involve close collaboration with the existing group members, as well as interaction with the project partners in the mentioned UK universities.

中国 (海归人才网)//www.baticalc.com为广大海外高层次人才提供回国就业、创业机会,关注海归生活。高层次人才交流QQ群:106247053 微博:http://weibo.com/liuxuehr

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

    海归QQ群

    申请加群请以“留学国家-目前所在地”格士发送请求,群有人数上限,每人只能加一个群。
    海归部落千人群
    63984971
    海归部落2号群
    103237942
    上海海归人才2号群
    461068872
    北京海归人才群
    63984971
    上海海归人才群
    103237942
    天津海归人才群
    461068872
    重庆海归人才群
    172719654
    山东海归人才群
    462302845
    江苏海归人才群
    172331746
    浙江海归人才群
    314125833
    江西海归人才群
    463247306
    福建海归人才群
    457497619
    安徽海归人才群
    457823891
    河南海归人才群
    264015004
    湖北海归人才群
    109623634
    湖南海归人才群
    458690950
    广东海归人才群
    432013578
    海南海归人才群
    312160331
    黑龙江海归人才群
    312929192
    吉林海归人才群
    313316571
    辽宁海归人才群
    109899038
    河北海归人才群
    282994183
    陕西海归人才群
    315357786
    甘肃海归人才群
    315753165
    宁夏海归人才群
    517762915
    青海海归人才群
    319457961
    四川海归人才群
    517765170
    云南海归人才群
    432350311
    贵州海归人才群
    517766496
    广西海归人才群
    517767217

    Baidu
    map