1 software-verification Postdoctoral positions at ;

Filters Search

Sort by

Refine Your Search

  • ; | Glasgow, Scotland | United Kingdom | 3 months ago

    develop, and mechanise via a proof assistant like Agda, a unified formal model (Uni-pi) based on the pi-calculus and session/linear types for the verification of safety, adaptability and resilience

Searches related to software verification

Enter an email to receive alerts for software-verification positions