瑞典皇家理工学院理论计算机学博士后岗位
Postdoctoral position in Theoretical Computer Science : Stockholm, Sweden
Employer: KTH Royal Institute of Technology
Location: Stockholm, SWEDEN, Stockholm, Sweden
Type: Other
Posted: December 22, 2011
Expires: January 27, 2012
Requisition number: Euraxess-euraxess-jobs-33754510
job description
KTH School of Computer Science and Communication (CSC) announces a postdoctoral position in Theoretical Computer Science with a focus on proof complexity and connections to SAT solving.
Description
We are seeking a postdoctoral researcher in Theoretical Computer Science within the framework of the research project “Understanding the Hardness of Theorem Proving.” This is a project in proof complexity with connections to SAT solving. Further Information: http://www.academicpositions.eu/jobs/science-and-engineering/2011/12/16/postdoctoral-position-in-theoretical-computer-science.aspx
中国留学人才网（海归人才网）http://www.liuxuehr.com 为广大海外高层次人才提供回国就业、创业机会，关注海归生活。高层次人才交流QQ群：106247053 留学人才网微博：http://weibo.com/liuxuehr
