Email Gateway (Oct 17 2023 at 20:58): Email Gateway (Oct 17 2023 at 20:58):From: "\"Marmsoler, Diego\"" <cl-isabelle-users@lists.cam.ac.uk>
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).
All the best,
Diego Marmsoler
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>
Email Gateway (Nov 08 2023 at 12:05):From: "\"Marmsoler, Diego\"" <cl-isabelle-users@lists.cam.ac.uk>
Dear Isabelle users
just a brief reminder that 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
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>
Last updated: Apr 29 2024 at 04:18 UTC