This post was submitted by a SAIRC member either as a recommended read or student-created post. All credit remains with the original author.
An opportunities-heavy issue of the same roundup: a secure program synthesis hackathon underway, a fellowship open for applications, and three newly launched formal methods companies (Midspiral, Sequent, and Sigil Logic). It also notes new cybersecurity funding from the UK's ARIA and the emergence of "AI verification" as a field explicitly welcoming formal methods practitioners.