Research Assistant/associate - Cambridge, United Kingdom - University of Cambridge

University of Cambridge
University of Cambridge
Verified Company
Cambridge, United Kingdom

2 weeks ago

Tom O´Connor

Posted by:

Tom O´Connor

beBee Recruiter
Description
Fixed-term: The funds for this post are available for 2 years in the first instance.

The position will involve working with Dr Jonathan Sterling and other project collaborators, including both PhD students and faculty. It will run initially for 24 months, with the possibility for a further 12 month extension.

  • Domaintheoretic semantics of programming languages
  • Twodimensional category theory and/or formal category theory
  • Categorical semantics of linear logic
  • Homotopy type theory and univalent foundations
  • Event structure or presheaf semantics of concurrency
  • Use of proof assistants such as Agda, Coq, Lean, or Isabelle
Appointment at Research Associate level is dependent on having a PhD.

Those who have submitted but not yet received their PhD will be appointed at Research Assistant level, which will be amended to Research Associate once the PhD has been awarded.

The University has a responsibility to ensure that all employees are eligible to live and work in the UK.
More jobs from University of Cambridge
See all jobs of University of Cambridge