Postdoc position in Program Analysis Tool within the Software Development and Environments group at the Department of Computer Science, Lund 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.

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.

View all positions
We use cookies to personalise content and ads, to provide social media features and to analyse our traffic. We also share information about your use of our site with our social media, advertising and analytics partners. View more
Cookies settings
Accept
Privacy & Cookie policy
Privacy & Cookies policy
Cookie name Active
The WASP website wasp-sweden.org uses cookies. Cookies are small text files that are stored on a visitor’s computer and can be used to follow the visitor’s actions on the website. There are two types of cookie:
  • permanent cookies, which remain on a visitor’s computer for a certain, pre-determined duration,
  • session cookies, which are stored temporarily in the computer memory during the period under which a visitor views the website. Session cookies disappear when the visitor closes the web browser.
Permanent cookies are used to store any personal settings that are used. If you do not want cookies to be used, you can switch them off in the security settings of the web browser. It is also possible to set the security of the web browser such that the computer asks you each time a website wants to store a cookie on your computer. The web browser can also delete previously stored cookies: the help function for the web browser contains more information about this. The Swedish Post and Telecom Authority is the supervisory authority in this field. It provides further information about cookies on its website, www.pts.se.
Save settings
Cookies settings