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.
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.