3 phd-software-process-"KTH" 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

Assistant Professor in Computer Science with Focus on Verification and Validation of Large-Scale Autonomous Systems (PA2026/2602)

University of Lund | Sweden | about 3 hours ago

Description of the workplace The assistant professor will be working at the Department of Computer Science, in the Software Engineering (SE) division (until recently known as the SERG research group

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