And while we are at it, we also have open positions in all areas of computer science. Both with the more traditional research and teaching a split (E&R) and with a teaching focus (E&S): jobs.exeter.ac.uk/hrpr_webrecrui… (E&R) jobs.exeter.ac.uk/hrpr_webrecrui… (E&S)

We’re launching our first BSides Exeter in July 24 and currently looking for sponsorship, if any of my followers work in cybersecurity companies and are interested please reach out. Also if any learning platforms would like to be involved with vouchers that would be awesome!

We are currently looking for a post-doctoral researcher in the area of #FormalMethods. The position is part of the EPSRC funded project "Secure Smart Contracts with Isabelle/Solidity". To find out more: ow.ly/5Cb050PXxNJ

Working on formal aspects of component software?Happy to announce that FACS 2024 will take place on 9-10 September 2024, co-located with Formal Methods 2026! Details will be announced soon!

FACS 24 will take place on 09-10 September 2024 co-located with Formal Methods 2026. The (tentative) deadline for submitting an abstract is May 8th, 2024! facs-conference.github.io/2024/

(Extended) interval analysis (in Isabelle/HOL). ~ Achim D. Brucker & Amy Stell. isa-afp.org/entries/Interv… #ITP #IsabelleHOL #Math

Can I ask my U.K security followers to please please please retweet this, we're putting on our first BSides in Exeter in July this year and it's going to be great. Tickets and details are available here ti.to/bsides-exeter/…

I will be at the #embeddedworld next week in Nuremberg. Contact me if you want to meet and catch up!

Amy is presenting our joint work on Formalising Interval Arithmetic in Isabelle at FormaliSE in Lisbon. PDF: brucker.ch/download/2024/… (doi:10.1145/3644033.3644370) and the implementation is in the AFP: isa-afp.org/entries/Interv… FormaliSE #formalise24 #isaprover

A huge thank you to our venue sponsor - University of Exeter Computer Science Department and Cyber Security Group. Achim D. Brucker has been instrumental with his support and guidance in preparation for the first-ever BSides Exeter. 🎟 ti.to/bsides-exeter/… #oooarrcyber #comeonin

PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL. ~ Andreas Viktor Hess, Sebastian Alexander Mödersheim, Achim D. Brucker and Anders Schlichtkrull. imm.dtu.dk/~samo/pspspj-p… #ITP #IsabelleHOL

🚨 🔺 Red Track - Brought to you by Corelight, Infoblox and ReliaQuest Achim D. Brucker - Attacking AI: A Primer. Grab Your Ticket Today🎟 ti.to/bsides-exeter/… - 27th July 2024 Event Platinum Sponsor Optimising IT | B Corp™ #oooarrcyber

Formally verified interval arithmetic and its application to program verification. ~ Achim D. Brucker, Teddy Cameron-Burke, Amy Stell. dl.acm.org/doi/pdf/10.114… #ITP #IsabelleHOL

The Role of Formal Methods in Computer Science Education. Summary of recent papers pointing out the key position of formal methods in CS ed inroads.acm.org/article.cfm?ai…

Still waiting for the call for paper for Tests and Proofs (TAP) conference? Wait no longer: we are thrilled to announce that TAP is now a track at FM 2026: conf.researchr.org/track/fm-2026/… #FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026