[Agda] Position in Swansea suitable for agda people on applied formal methods (security or railway verification)

[Anton Setzer]

We in Swansea are advertising a job position which would be suitable for experts in Agda, Coq, or related systems, or type theoretists in general. We have a cyber security group, and a  very active railway verification group, here in Swansea. I have done some work on verification of Bitcoin and Solidity in Agda, and with my former PhD student Karim Kanso I have carried out some substantial research on verifying railway interlocking systems in Agda.

In the area of railway verification we have a well established long term collaboration with Siemens Mobility. It would be nice to get somebody who uses Agda or some other type theoretic approach, or any other interactive or automated theorem provers in this area, to develop my research on using Agda in verification further, but the position below is advertised more broadly (it covers both railway verification and formal methods for cyber security).

Currently we have a job opportunity in applied formal methods at Swansea University, see

https://www.swansea.ac.uk/jobs-at-swansea/current-vacancies/details/?nPostingID=135966&nPostingTargetID=168494&ID=QHUFK026203F3VBQB7VLO8NXD&lg=UK&mask=suext

I was thinking about leaders in Formal Methods, who also have applications in their view. Here your name came to my mind.

It might be that the deadline will be extended in the course of next week, but since I'm away I wanted to draw your attention to this opportunity now.

Our department hosts one of the UK's largest groups in logic and theoretical computer science. Furthermore, there is a newly founded, active group on cyber-security. Overall, the department offers a vibrant research environment, also with experts in AI, HCI, Robotics, and Visual Computing.


Links:

https://www.swansea.ac.uk/compsci/research-and-impact/swansea-railway-verification/

https://www.swansea.ac.uk/compsci/research-and-impact/theoretical-computer-science/

https://www.swansea.ac.uk/compsci/research-and-impact/cybersecurity/

https://www.swansea.ac.uk/compsci/research-and-impact/


In case you know of any suitable person, I would be happy if you could point them towards this opportunity. I will be available for an informal chat on Swansea perspectives (from Monday 11 September when I'm back from my current trip).

Best wishes,

Anton

-----------------------------------------------------------------------------
Dr Anton Setzer
Darllenydd / Reader
Ystafell / Room  403
Adran Gyfrifiadureg / Dept. of Computer Science
Y Ffowndri Gyfrifiadurol / Computational Foundry
Coleg Gwyddoniaeth / College of Science
Prifysgol Abertawe/ Swansea University
Campws y Bae/ Bay Campus
Abertawe / Swansea   SA1 8EN
DU  / UK

Rhowch wybod i ni os hoffech dderbyn eich gohebiaeth yn Gymraeg. / Let us know if you would like to receive correspondence in Welsh.
Rydym yn croesawu gohebiaeth yn Gymraeg neu yn Saesneg. / We welcome correspondence in Welsh or English.
Ni fydd gohebu yn Gymraeg yn arwain at oedi./ Corresponding in Welsh will not lead to a delay.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20230903/10633e0e/attachment.html>