[Om-announce] Postdoc position in Formal Methods at University of Exeter

[Marmsoler, Diego]

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 at exeter.ac.uk<mailto:d.marmsoler at 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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20231108/f377cc5d/attachment.htm>