[TYPES/announce] Research Associate in Trustworthy Refactoring at Kent

Simon Thompson S.J.Thompson at kent.ac.uk
Wed Aug 21 09:03:58 EDT 2019


We are seeking to recruit an enthusiastic Research Associate to join the final year of the EPSRC project “Trustworthy Refactoring”. The overall goal of this project is to investigate the design and construction of trustworthy refactoring tools: this means that when refactorings are performed, the tools will provide strong evidence that the refactoring has not changed the behaviour of the code, built on a solid theoretical understanding of the semantics of the language, thus establishing a step change in the practice of refactoring.

If you have have a PhD in Computer Science, awarded or nearing completion, experience in functional programming (e.g. Haskell/ML/Erlang/…) and experience of using a proof assistant (e.g. Coq/Isabelle/HOL/…), you have what we’re looking for.

More details about the project are here:

 https://jobs.kent.ac.uk/vacancy.aspx?ref=STM-047-19

If you have any questions about the post do contact one of us by email: Scott Owens (s.a.owens at kent.ac.uk) and Simon Thompson (s.j.thompson at kent.ac.uk) : we look forward to hearing from you.

Scott and Simon



Simon Thompson | Professor of Logic and Computation 
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thompson at kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt



More information about the Types-announce mailing list