• 知识人焦点
  • 知识人关注
  • 海归学子
  • 学子园地
  • 当前位置:知识人网>> 博士后之家 国外博士后招聘>> 正文内容

    丹麦计算机科学系逻辑和语义学组博士后
    文章来源:知识人网       更新时间:2018年07月02日

    The postdoc position is part of a project on homotopy type theory and probabilistic computation. The postdoc position will focus on theory and tools for computer aided proofs in cryptography.


    The position is for one year and can be extended by another year and the starting date is expected to be September 1st 2018.


    The responsibilities of the successful applicant would include research on the above topics in collaboration with dr. Bas Spitters, along with modest teaching and service tasks.


    PhD. Degree/ Post Doc level
    The successful candidate should have extensive expertise and research experience in the theory and practice of type theory and interactive theorem proving and/or in rigorous proofs in cryptography.


    Dept. Of Computer Science was founded in 1968 as part of the Department of Mathematical Sciences. The department became independent in 1998 and houses a total of 100 employees.


    Questions regarding this job offer should be directed to Associate Professor Bas Spitters spitters@cs.au.dk


    The place of work is Åbogade 34, 8200 Aarhus N and the area of employment is Aarhus University


    Application procedure
    Shortlisting is used. This means that after the deadline for applications and with the assistance from the assessment committee chairman, and the appointment committee if necessary, the head of department selects the candidates to be evaluated. All applicants will be notified whether or not their applications have been sent to an expert assessment committee for evaluation. The selected applicants will be informed about the composition of the committee, and each applicant is given the opportunity to comment on the part of the assessment that concerns him/her self. Once the recruitment process is completed a final letter of rejection is sent to the deselected applicants, including the main considerations emphasized during the selection process.

    Formalities and salary range
    Science and Technology refers to the Ministerial Order on the Appointment of Academic Staff at Danish Universities under the Danish Ministry of Science, Technology and Innovation.

    The application must be in English and include a curriculum vitae, degree certificate, a complete list of publications, a statement of future research plans and information about research activities, teaching portfolio and verified information on previous teaching experience (if any). Guidelines for applicants can be found here.

    Appointment shall be in accordance with the collective labour agreement between the Danish Ministry of Finance and the Danish Confederation of Professional Associations. Further information on qualification requirements and job content may be found in the Memorandum on Job Structure for Academic Staff at Danish Universities. Salary depends on seniority as agreed between the Danish Ministry of Finance and the Confederation of Professional Associations.

    All interested candidates are encouraged to apply, regardless of their personal background. Research activities will be evaluated in relation to actual research time. Thus, we encourage applicants to specify periods of leave without research activities, in order to be able to subtract these periods from the span of the scientific career during the evaluation of scientific productivity.

    Aarhus University offers Relocation service to International researchers. You can read more about it here.


    Deadline
    All applications must be made online and received by: 12.08.2018

    知识人网访问学者名校榜持续更新中

    知识人网博士后捷报榜持续更新中

    更多博士后访学名校经典案例欢迎点击访问知识人网(www.zsr.cc),咨询国外博士后申请、访问学者申请、公派访问学者申请、医学访问学者申请可点击快速在线咨询或拨打全国咨询热线4000-600-668,资深顾问一对一答疑解惑。

    扫一扫知识人网官方微信订阅号,更多最新学术资讯、博士后招聘信息 一手掌握!国外博士后、访问学者申请免费专业评估,专家答疑解惑,一键关注离世界顶尖大学一步之遥!

    快速申请国外博士后(免费评估)


    点击这里快速申请国外博士后

    点击这里快速申请国外访问学者

    知识人网拥有10余年专职国外博士后、访问学者职位服务经验;
    世界30000多所大学、研究机构职位机会,学术研究职位专业服务机构;
    资深专业顾问将竭诚为博士精英们提供最优质的服务,实现您梦想的阶梯;
    全国免费电话欢迎垂询:4000-600-668 直拨电话:010-68228237/68161776/68227792/68168664