Postdoctoral position in Program Analysis Tools - Hiring in process/Finished, not possible to apply

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.

Further information
This is a full-time, fixed-term employment of two years. The period of employment is determined in accordance with the agreement “Avtal om tidsbegränsad anställning som postdoktor” (“Agreement on fixed-term employment as a post-doctoral fellow”).

How to apply
Applications shall be written in English. Please draw up the application in accordance with LTH’s Academic qualifications portfolio – see link below. Upload the application as PDF-files in the recruitment system. Read more: http://www.lth.se/english/working-at-lth/to-apply-for-academic-positions-at-lth/

Welcome with your application!