Teresa Carbajo Garcia

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 »

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 »

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

Vacancy: Lecturer in Programming Languages and Compilers, Bristol Read More »

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

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 »

News: Funding Success

Many congratulations to the three projects awarded funding on the latest Research aligned with cybersecurity research funding call. The call, worth £7.5M was open to research projects aligned with the four EPSRC-National Cyber Security Centre (NCSC) research institutes, (including VeTSS) Dr Narges Khakpour (Newcastle University), Prof Sven Schewe (University of Liverpool) and Dr Dominik Wojtczak …

News: Funding Success Read More »