Research Associate

☞ University of Kent

Ver: 104

Dia de atualização: 07-05-2024

Localização: Canterbury South East

Categoria: Ciência Labor Farmacêutico / Químico / Biotecnologia

Indústria:

Tipo de empregos: Full-time, Fixed term contract

Salário: £36,386 - £40,931 a year

Loading ...

Conteúdo do emprego

The School of Computing is looking to appoint two Research Associates. This position is full time and fixed term until October 2024. You will join a team focussed on the verification of systems code.

Our efforts range across the following:

  • We attempt to establish the foundational definitions of the languages that mainstream systems are built atop, in particular C, C++ and Rust, and we have focussed on difficult details of the interactions between concurrency and compiler optimisation (the thin-air problem). We have a solution for this that we are building out from.
  • We build system components conscious of the need for high-quality software, including recently a compiler from Rust to a prototype memory-safe hardware architecture provided by ARM (Morello). We are extending this work, building systems components in Rust above Morello.
  • We build logics and reasoning tools above our formal language definitions and verify the correctness of code using these.
  • We consider compiler internals and look for ways to reason about and verify these.
  • We work on system-level security guarantees supported by languages like Rust and architectures like Morello, whose pointer capabilities are bestowed hardware-supported memory safety guarantees.

As a Research Associate you will:

  • Perform one or more of the following: develop tools for automating program validation, develop system components, define semantics of languages, build logics, verify data-structures, or reason about compilers
  • Write papers and present work in the academic community
  • Work (if required) on preparing and submitting grant applications
  • Keeping abreast of academic literature in neighbouring research areas

To be successful in this role you will have:

  • A PhD or equivalent experience (or nearing completion of study for one), in Computer Science, Engineering, Mathematics, or a closely related discipline, especially with research interests in Semantics or a related topic
  • A good record of peer-review publications on scientific journals and conferences in relevant discipline(s)
  • Good knowledge of computer systems building systems components
  • Excellent analytical and problem solving skills
  • High level interpersonal and communication skills, and ability to communicate effectively with a wide range of stakeholders

If you have any queries regarding this position, please contact cemshr@kent.ac.uk quoting re: CEMS-214-23.



We particularly welcome applications from female candidates as they are under-represented at this level in this area
Loading ...
Loading ...

Data limite: 21-06-2024

Clique para aplicar para o candidato livre

Aplicar

Reportar emprego
Loading ...
Loading ...

EMPREGOS SEMELHANTES

Loading ...
Loading ...