Calls & Vacancies2024-07-29T13:31:28+00:00

VeTSS Calls for Research Projects

Calls

One of the main aims of VeTSS is to support the UK verification community, and to this end we have funded research projects on analysis, testing and verification, both via small grants and funding calls aligned with VeTSS research. We are continuing to seek support from industry and funding agencies to support our Calls for Research Projects and we hope to advertise details on this page shortly.

We also post details of external funding opportunities in our News section.

Vacancies

We regularly post adverts for vacancies here and on our Zulip channel. If you want us to advertise your position for PhD students, Post Docs or Faculty, send us the details to contact@vetss.org.uk

The latest vacancies can be found below

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

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 design or analysis of e-voting systems or protocols, or formal verification of protocols, […]

Vacancy: Research Associate at the University of Kent

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.

This position needs to be filled as soon as possible. Candidates can apply through any […]

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

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 software development. The developed solutions will protect against software supply chain attacks where the attacker compromises […]

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 there will be opportunities to collaborate […]

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 the context of the EPSRC research project TRUSTED: SecuriTy SummaRies […]

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, safety, and security. Your valuable insights […]

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

Two Postdoctoral Research Fellows at the University of Surrey, UK
Post Type: Full time (3 year fixed term)
Salary: £35,308 to £38,474 per annum
Closing 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 modelling, verification and/or logic,
  • interactive and […]
Go to Top