Dear all, We are seeking to appoint a Postdoctoral Research Associate that wants to apply formal methods for building correct, safe, and secure systems. The post is part of the growing Security and Trust of Advanced Systems Group (https://computerscience.exeter.ac.uk/cyber-security/). The group has a broad expertise in developing and applying formal methods tools in general and in working and extending Isabelle/HOL in particular. The advertised position is part of the EPSRC funded project "Secure Smart Contracts with Isabelle/Solidity" and is available from 01/01/2024 to 31/12/25. The successful applicant will work with me on the development of tools and techniques for the verification of Smart Contracts. This includes the development of a calculus for the verification of smart contracts, its implementation in Isabelle/HOL, as well as applying it for the verification of real-world smart contracts. For more information about the project please visit the project website: https://marmsoler.com/projects/isabelle-solidity/ You can apply online at https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACANCY_ID=963631gdCd&WVID=3817591jNg Application closes 14/11/23. If you do have any questions please contact me by email (d.marmsoler@exeter.ac.uk<mailto:d.marmsoler@exeter.ac.uk>). All the best, Diego Diego Marmsoler Lecturer (Education and Research), Computer Science University of Exeter, Innovation 1, Room 10 www: marmsoler.com<http://www.marmsoler.com/> Twitter: @DiegoMarmsoler<https://twitter.com/DiegoMarmsoler>