We are looking to recruit one postdoctoral researcher in the Program Specification and Verification Group at Imperial College London, to work on reasoning about concurrent programs. The position is suitable for either a theoretician, who would work on the foundations of concurrent reasoning, or a theoretician/practitioner, who would work on the verification and testing of file systems.
Proceedings of the 25th European Symposium on Programming (ESOP)
Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS)
Proceedings of the 30th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS)
Proceedings of the 27th International Conference on Computer Aided Verification (CAV)