4 software-verification 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 2 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

Postdoctoral position in Applied Mechanics on damage coupled diffusion modelling

Uppsala universitet | Sweden | 3 months ago

evolution will be simulated. For model calibration and verification, laboratory permeation experiments will be designed and carried out. In addition to research, some participation in supervision of doctoral