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

瑞典隆德大学博士后职位---程序分析工具
文章来源:知识人网整理       更新时间:2022年05月25日

瑞典隆德大学博士后职位---程序分析工具

Postdoctoral position in Program Analysis ToolsLund University

Description

Description of the workplace The postdoc will join the Software Development and Environments group at the Department of Computer Science. The group is exploring novel tools, languages, and methods for supporting software development, and conducts research in a variety of topics that include compiler construction, declarative specification languages, distributed development environments, safety monitoring for autonomous systems, and code review analysis driven by eye tracking. The group collaborates intensively both locally within Lund University, internationally, as well as with industrial partners, such as ABB and Ericsson. The group has members from ten different countries, and regularly organises group activities to foster a positive working environment.

The group is developing several systems for program analysis. In particular, the JastAdd compiler construction framework, the MetaDL framework for declarative program analysis and the ExtendJ extensible Java compiler. The project is funded by the Wallenberg Autonomous Systems and Software Programme (WASP), and will be part of the WASP Research Arena for Software, which is led by this group.

We offer Lund University is a public authority which means that employees get particular benefits, generous annual leave and an advantageous occupational pension scheme. Read more on the University website about being a Lund University employee Work at Lund University.

Subject description The subject area for this position is Program Analysis Tools. This includes construction of tools for static and dynamic program analysis, use and development of declarative specification languages, and applications of the tools at scale.

Work duties The main duties involved in a post-doctoral position is to conduct research in the subject area. Teaching may also be included, but up to no more than 20% of working hours. The position includes the opportunity for three weeks of training in higher education teaching and learning. The purpose of the position is to develop the independence as a researcher and to create the opportunity of further development.

The work will be done in collaboration with the research group, and be adapted based on the postdoc's background and interests.

Detailed description of the work duties:

·  Research within the subject area.

·  Involvement in academia-industry collaboration through the “WARA for Software”. This may include help in organising workshops, networking with academic and industrial members of WASP, and participating in cross- institutional research.

·  Travel to visit conferences and to participate in WASP networking and outreach activities, such as the WASP conferences.

·  Supervision of PhD and MSc students within the subject area.

·  Helping write grant proposals.

·  Collaborating with the industry and external academic researchers.

·  Administrative tasks related to the above activities.

Qualification requirements Appointment to a post-doctoral position requires that the applicant has a PhD, or an international degree deemed equivalent to a PhD, within the subject of the position. The certificate proving the qualification requirement is met, must be received before the employment decision is made. Priority will be given to candidates who have graduated no more than three years ago before the last day for application. Under special circumstances, the doctoral degree can have been completed earlier.

Additional requirements:

·  Publications at recognized international conferences in the software area.

·  In-depth knowledge of Compiler Construction or Static Program Analysis tool construction.

·  In-depth knowledge of at least two of the following:

·  Object-Oriented Programming

·  Functional Programming, Logic Programming, or Attribute Grammars

·  Theoretical frameworks for Program Analysis

·  Excellent programming skills, demonstrated e.g. through industrial or Open Source software development

·  Strong collaborative skills

·  Personal drive and good ability to work independently

·  Very good oral and written proficiency in English

Assessment criteria This is a career development position primarily focused on research. The position is intended as an initial step in a career, and the assessment of the applicants will primarily be based on their research qualifications and potential as researchers. Particular emphasis will be placed on research skills within the subject.

For appointments to a post-doctoral position, the following shall form the assessment criteria:

·  A good ability to develop and conduct high quality research

·  Teaching skills

Other qualifications: Experience from and knowledge about:

·  Design and implementation of Domain-Specific Languages

·  Software Security and Vulnerability Detection

·  Empirical Evaluation of Software Tools

·  Source-Level Program Transformation

·  Academic outreach to practitioners

·  User Studies

·  Robotics

·  Machine Learning

Consideration will also be given to how the applicant's experience and skills complement and strengthen ongoing research within the research group, and how they stand to contribute to its future development.

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

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


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

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

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