4 formal-verification-computer-science Postdoctoral positions in Sweden

CSE, PostDoc in Formal Analysis of AI-based Systems

Chalmers University of Technology | Sweden | about 2 hours ago

opportunities. Read more here . About the STAR Lab Led by Dr. Hazem Torfah, STAR is part of the Computing Science Division within the Department of Computer Science and Engineering (CSE). Our interdisciplinary

Postdoc in computer science

Mälardalen University | Sweden | about 4 hours 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 ideal candidate will have expertise in formal methods, program verification, and microarchitectural attack analysis. Experience with compiler pass design and SMT solvers is highly desirable and will be

1-2 motivated Postdocs for research projects in RNA biophysics/structural biology under biological relevant conditions

SciLifeLab | Sweden | 2 months ago

you to contribute or even lead in analyzing, summarizing, and conceptualizing data/results and cooperatively write manuscripts. Formal Requirements PhD degree in Biology, Chemistry or Physics