About the Project
toolsuite of Alglave and Maranget). We intend for the project to have both practical aspects (e.g. implementation and testing) and theoretical ones (e.g. justifiying the soundness of our approach formally).
The successful applicant will have experience with Arm compilers, the herd tool and memory models in general, as well as a working knowledge of the OCaml, C and ELF languages. They will have had industrial experience, as well as academic degrees in topics including theoretical constructs of computer science.
For more information please contact Prof. Jade Alglave ([email protected]). For applying please send a CV and cover letter to Prof. Jade Alglave.
Why not add a message here
Based on your current searches we recommend the following search filters.
Based on your current search criteria we thought you might be interested in these.