[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected]) and Simon Thompson ([email protected]) : 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
[email protected] | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt
