4 software-verification-phd Postdoctoral positions in Sweden

Postdoctoral position in Practically Usable Verification for Numerical Programs

Uppsala universitet | Sweden | about 2 months ago

the Programming Languages group that currently consists of 7 faculty and 8 PhD students that are working on different aspects of programming language design, verification and software engineering. Beyond technical

Postdoc in computer science

Mälardalen University | Sweden | 3 days ago

. Qualifications requirements The applicant is required to have a PhD degree in Computer Science, Software Engineering, or related fields. The applicant must have completed the degree no more than three years before

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