PhD position in Program Analysis for Software Supply-Chain Security at Lund University, Sweden

We are offering a fully funded 5-year PhD position in program analysis as part of a cross-institutional collaborative research project on identifying supply-chain vulnerabilities. We expect that the work will focus on parameterising and integrating various approaches to program analysis, expanding ongoing work on declarative approaches to program analysis.

The position is full-time, 80% research and studies, 20% departmental duties.