Vacancies

Vacancy: Research Associate in Program Semantics and Verification at Imperial College London

Applications are invited for a Research Associate (postdoctoral) position at Imperial College London, UK, under the supervision of Dr Azalea Raad. This is a two-year position, with the possibility to extend it further. The start date for the position is flexible within 2023. This post is funded by a generous UKRI fellowship (£1.5m), under the PERSEVERE project, and …

Vacancy: Research Associate in Program Semantics and Verification at Imperial College London Read More »

Vacancy: Research Associate in Software Security and Formal Methods at Newcastle University

Research Associate in Software Security and Formal Methods at Newcastle University There is an exciting opportunity for a highly motivated and independent individual to join Newcastle Unviersity as a Research Associate (postdoctoral researcher). The focus of this position is to design and develop theories and tools with solid foundations for secure open-source software development in …

Vacancy: Research Associate in Software Security and Formal Methods at Newcastle University Read More »

Vacancy: Lecturer in Programming Languages and Compilers, Bristol

The Bristol Programming Languages Research Group [0] is seeking a new Lecturer in Programming Languages and Compilers. As a Lecturer, you will contribute your research expertise, with a specific focus on compilers, aligning with the group’s diverse interests. Embracing a broad interpretation of compilers, you will explore code generation, optimisation, static analysis, code translation, correctness, …

Vacancy: Lecturer in Programming Languages and Compilers, Bristol Read More »

Vacancy: Two Postdoctoral Research Fellows at the University of Surrey, UK

Two Postdoctoral Research Fellows at the University of Surrey, UKPost Type: Full time (3 year fixed term)Salary: £35,308 to £38,474 per annumClosing Date: 1st Sept, 2023 We are seeking to recruit two full-time postdoctoral researchers to work on one or more of the areas below: emerging hardware architectures (weak memory, RDMA, persistent memory, CXL), formal …

Vacancy: Two Postdoctoral Research Fellows at the University of Surrey, UK Read More »