Postdoc Position Available

Dear All, Our group has multiple postdoc positions available. The research projects are related to: · Source-code level program verification (against safety properties or security-related properties) · Run-time verification/enforcement of…

Read more