<div dir="ltr">Apply in either of these places:<br><div><a href="https://urldefense.com/v3/__https://www.jobs.ac.uk/job/DBV331/research-associate-cems-236-23__;!!IBzWLUs!UmOk8QFhn0iVwsyXRW3wc0Ktwm-tTJHY26XygrFphXeeqfWXg9dwydXBgme7jrPGDM19HboCb4c7ROTOn2uGG8iG8UWFRw$">https://www.jobs.ac.uk/job/DBV331/research-associate-cems-236-23</a><br><a href="https://urldefense.com/v3/__https://jobs.kent.ac.uk/Vacancy.aspx?ref=CEMS-236-23__;!!IBzWLUs!UmOk8QFhn0iVwsyXRW3wc0Ktwm-tTJHY26XygrFphXeeqfWXg9dwydXBgme7jrPGDM19HboCb4c7ROTOn2uGG8jTrW3ilA$">https://jobs.kent.ac.uk/Vacancy.aspx?ref=CEMS-236-23</a><br><br>Salary: £36,386 to £40,931<br>Contract Type: Fixed Term - 36 months</div><div>Deadline: 4th September<br><br><br>The School of Computing at Kent in the UK wishes to appoint a qualified and highly motivated researcher to work as a Research Associate. This 36 month post is funded by two grants led by Professor Mark Batty (<a href="mailto:m.j.batty@kent.ac.uk">m.j.batty@kent.ac.uk</a>): Transparent pointer safety: Rust to Lua to OS Components from Innovate UK and Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT) from the EPSRC. This project is in partnership with Sheffield and Surrey.<br><br>Applicants should have a strong mathematical background and knowledge of how to reason about systems. This must be evidenced by high-quality research publications or artifacts in programming languages, formal verification, distributed systems, security, or computer architecture. Experience in hand proof, mechanised theorem proving tools (i.e. Isabelle/HOL, Coq, or similar) or familiarity with model checkers and SMT solvers is highly desirable.<br><br><br> As Research Associate you will:<br>1. develop formal models for the expression of the behaviours of advanced architectures,<br>2. develop reasoning techniques (proof, mechanical proof, model checking, automated tools) for proving properties about these systems, and<br>3. apply these techniques to establish system properties including memory safety, security properties and functional correctness.<br><br><br>To be successful in this role you will:<br>1. have or be about to complete a PhD in a relevant discipline, or equivalent professional experience,<br>2. have a track record of peer-reviewed publications at scientific workshops, competitions, conferences or journals, and<br>3. have excellent mathematical skills relevant to analysing computer-system behaviour.<br><br><br>The university of Kent is walking distance from the charming historic city of Canterbury, it has a high speed connection to London, and travel to Europe is convenient by rail or car.<br></div></div>