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 »

CyberASAP Pathfinder – applications now open

Funding / By

CyberASAP is a well-established programme now in its seventh year. The in-depth programme supports UK academics who are interested in commercialising their cyber security ideas and is delivered annually with a duration of approximately ten months. To build on the achievements of the full programme and encourage future applicants, we are running a pilot short-programme …

CyberASAP Pathfinder – applications now open 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 »

FUN IN THE REPL! Fun in the Afternoon meets S-REPLS @ Bristol Engine Shed, Weds 1st November 2023

Events, News / By

We are very happy to be one of the sponsors of “Fun in the REPL”, a one day joint meeting of the Fun in the Afternoon and S-REPLS communities, organised by our colleagues at the Programming Languages Research Group Bristol. The one day meeting, (10am – 5pm), will be held at the Engine Shed, Bristol BS1 …

FUN IN THE REPL! Fun in the Afternoon meets S-REPLS @ Bristol Engine Shed, Weds 1st November 2023 Read More »

Postponed: VeTSS industry innovation sandpit

Events, News / By

The one-day VeTSS industry innovation sandpit at Imperial I-X has been postponed. We are are looking for alternative dates and we will advertise this as soon as we can. The sandpit will include lightning talks by both academic and industry participants, followed by seedbed meetings, comprising small-group, in-depth discussions and prototyping. Each seedbed will develop a new …

Postponed: VeTSS industry innovation sandpit 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 »