当前位置:知识人网 >> 国外博士后招聘 >> 正文内容

丹麦计算机科学系逻辑和语义学组博士后
文章来源:知识人网       更新时间: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

扫一扫知识人网官方微信订阅号,关注更多学术资讯、博士后招聘信息。
国外博士后、访问学者申请免费专业评估,专业顾问在线答疑解惑。

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


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

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

知识人网是专职国外博士后访问学者申请的服务机构,获评“北京诚信服务示范单位”。
自2004年起,累计十余年申请经验,以大量名校申请成功案例、及全球三万余所院校导师资源为基石,提供优质的申请咨询服务。
400电话:400-060-0581,欢迎您随时来电咨询!