[TYPES/announce] Research Associate at the University of Kent, Canterbury, UK

[Mark Batty]

Apply in either of these places:
https://urldefense.com/v3/__https://www.jobs.ac.uk/job/DBV331/research-associate-cems-236-23__;!!IBzWLUs!UmOk8QFhn0iVwsyXRW3wc0Ktwm-tTJHY26XygrFphXeeqfWXg9dwydXBgme7jrPGDM19HboCb4c7ROTOn2uGG8iG8UWFRw$ 
https://urldefense.com/v3/__https://jobs.kent.ac.uk/Vacancy.aspx?ref=CEMS-236-23__;!!IBzWLUs!UmOk8QFhn0iVwsyXRW3wc0Ktwm-tTJHY26XygrFphXeeqfWXg9dwydXBgme7jrPGDM19HboCb4c7ROTOn2uGG8jTrW3ilA$ 

Salary: £36,386 to £40,931
Contract Type: Fixed Term - 36 months
Deadline: 4th September


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 (
m.j.batty at kent.ac.uk): 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.

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.


 As Research Associate you will:
1. develop formal models for the expression of the behaviours of advanced
architectures,
2. develop reasoning techniques (proof, mechanical proof, model checking,
automated tools) for proving properties about these systems, and
3. apply these techniques to establish system properties including memory
safety, security properties and functional correctness.


To be successful in this role you will:
1. have or be about to complete a PhD in a relevant discipline, or
equivalent professional experience,
2. have a track record of peer-reviewed publications at scientific
workshops, competitions, conferences or journals, and
3. have excellent mathematical skills relevant to analysing computer-system
behaviour.


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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230821/bab21eb1/attachment.htm>