3 software-verification-postdoc Postdoctoral positions in Sweden

Postdoctoral position in Practically Usable Verification for Numerical Programs

Uppsala universitet | Sweden | about 2 months ago

Framework Programme? Horizon 2020 Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in automated program verification and/or software

Postdoc in computer science

Mälardalen University | Sweden | about 6 hours ago

with a human-centric, sustainability-driven approach. The Postdoctoral researcher will work on using AI-powered methods, testing, and simulation technologies for the verification and validation

Postdoc in Rigorous Protection of Programs from Hardware Attacks

KTH Royal Institute of Technology | Sweden | 3 months ago

the Wallenberg Launchpad (WALP). We are seeking a highly motivated and talented researcher with a strong background in formal verification and microarchitectural security to join our dynamic research group