Skip to content

Research Institute on Verified Trustworthy Software Systems

  • About Us
  • Projects
  • News and Events
    • Latest News
    • Summer School
    • Sponsored Events
    • Annual Meetings
  • Recruitment
    • Vacancies
  • Publications
  • Reports
    • Annual Reports
    • EDI Statement
  • People
  • Contact Us
Email Zulip
  • About Us
  • Abstract: Automatic verification of transparency protocols
  • Abstract: Benchmarking and verifying quantum computers
  • Abstract: CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively
  • Abstract: Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems
  • Abstract: Formal Verification and Bug Finding at Meta
  • Abstract: Rust on Morello
  • Abstract: Security and Legacy at Microsoft
  • Abstract: The Research Institute for Trustworthy Interconnected Cyber-physical Systems (RITICS)
  • Accessibility
  • Annual Meetings
  • Annual report – all – bridge
  • Annual Report 2017-18 – bridge
  • Annual Report 2018-19 – bridge
  • Annual Report 2019-20 – bridge
  • Annual Report 2020-21 – bridge
  • Annual Report 2021-22 – bridge
  • Annual Reports
  • Contact Us
  • EDI Statement
  • Latest News
  • News and Events
  • People
  • Projects
  • Publications
  • Recruitment
  • Reports
  • Sponsored Events
  • Summer School
  • VeTSS Inaugural Meeting

Recruitment

We will be happy to post adverts for Academic, Post-doc or PhD positions; just email the details to contact@vetss.org.uk.

All vacancies can be found here. 

You can also post these directly to the VeTSS Zulip stream Recruitment opportunities

We had a great start to the #VeTSS 2023 summer school with Prof. Georg Struth on "Algebraic Semantics and Verification" with implementations in Isabelle/HOL. pic.twitter.com/9jQPbpinsn

— VeTSS (@VetSS_RI) August 22, 2023

We kicked off the VeTSS inaugural conference with a talk by Philippa Gardner on the history and great achievements of the VeTSS community. #vetss pic.twitter.com/WXpIqvZhRu

— VeTSS (@VetSS_RI) March 31, 2023

Archives

  • November 2023
  • October 2023
  • September 2023
  • August 2023
  • June 2023

Accessibility

Log In

Copyright © 2023 VeTSS