Kent Concurrency Workshop and S-REPLS 15, University of Kent,18‐19 July, 2024

We are very happy to be on of the sponsors of this year’s Kent Concurrency Workshop and S-REPLS 15, taking place at the University of Kent, Canterbury, on 18‐19 July, 2024. The South of England Regional Programming Language Seminar (S-REPLS) is a regular and informal meeting open to everyone with a professional interest — whether …

Kent Concurrency Workshop and S-REPLS 15, University of Kent,18‐19 July, 2024 Read More »

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 …

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

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. …

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

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 …

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

CyberASAP Pathfinder – applications now open

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

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

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

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

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 »