Vacancies

Vacancy: Post-doctoral position in E-Voting at University of Surrey

Post-doc positions, Vacancies / By

The Surrey Centre for Cyber Security (SCCS) is looking for a postdoc with expertise in electronic-voting or related topics. The aim of the project is to design and analyse dispute-resolution mechanisms for electronic voting. Closing Date: 13 May 2024. All details as below, or contact Dr. Cătălin Drăgan c.dragan@surrey.ac.uk We encourage candidates with experience in …

Vacancy: Post-doctoral position in E-Voting at University of Surrey Read More »

Vacancy: Research Associate at the University of Kent

Vacancies / By

The Research Associate will participate in cutting edge research on type-based enforcement and compilation techniques for enforcement of security properties of higher-order programs. The position is on an EPSRC funded project titled “TYPDSEC: Type-based information declassification and its secure compilation”. The post is based in Canterbury and will be directly supervised by Dr. Vineet Rajani. …

Vacancy: Research Associate at the University of Kent Read More »

Vacancy: Research Assistant/Associate in Software Security and Formal Analysis, University of Newcastle

Vacancies / By

Closing Date: 07 January 2024 There is an exciting opportunity for a highly motivated and independent individual to join an EPSRC research project (TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development) as a Research Assistant or Associate. The focus of this position is to design and develop theories and tools with solid foundations for secure open-source …

Vacancy: Research Assistant/Associate in Software Security and Formal Analysis, University of Newcastle Read More »

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

Vacancies / By

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

Vacancies / By

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

Vacancies / By

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

Vacancies / By

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 »