2 phd-software-process "KTH" Postdoctoral positions

Postdoc in AI-based formally verified code generation

KTH Royal Institute of Technology | Sweden | 3 months ago

process. It may be the case that a position at KTH is classified as a security-sensitive role in accordance with the Protective Security Act (2018:585). If this applies to the specific position, a security

Postdoc in Human-in-the-loop Software Engineering for Secure Software Supply Chains

Chalmers University of Technology | Sweden | 18 days ago

PhD students and postdocs working on related topics in the ShiftLeft project and be involved in supervision. The position is partially funded by WASP. Wallenberg AI, Autonomous Systems and Software