Teresa Carbajo Garcia

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

Events / By

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

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 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 »

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 »

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 »