Postdoctoral position in Program Analysis ToolsLund University
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.
· 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
· 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.