Research Associate

null, null, gb
Company: The University Of Edinburgh
Category: Life, Physical, and Social Science Occupations
Published on 2021-06-16 06:03:50

Job Description

College of Science and Engineering, School of Informatics


Available for 24 months

2 positions available

The School of Informatics, University of Edinburgh invites applications for research associate positions in the area of secure-by-construction computer system broadly construed (computer architecture or programming languages or formal methods) for an exciting project on automating the creation of secure microprocessors.

The Opportunity:

Candidates for this position are expected to have a PhD (or nearing completion) in Computer Science or a related field with a background in at least one of the following areas: computer architecture, programming languages, or formal methods

Evidence of high-quality research -- e.g., through high-quality publications or high-quality research artifacts – is desirable.

We are looking for candidates committed towards high-impact research and making a real difference.

Candidates will have the freedom to define and explore their independent research agenda aligned with the project. They will also have the opportunity to work with students and collaborate with partners from academia (Stanford) and industry.

The RA will work on the EPSRC Dijkstra’s Pipe project which proposes to exploit programming language principles for the design of microprocessors

Your skills and attributes for success:

  • PhD (or near completion) in Computer Science or related field
  • Background in computer architecture or programming languages or formal methods
  • The following criteria are not yes/no factors, but questions of degree. Recruitment will aim at selecting those candidates with the best possible performance in all these criteria.

  • Evidence of high-quality research
  • Expertise in verified computer systems (e.g, verified compilers, verified operating systems, verified processors etc.)
  • Expertise in processor design
  • Ability to communicate complex information clearly, orally and in writing
  • Programming skills and a commitment to creating usable software artefacts
  • Evidence of collaboration with external partners
  • Please ensure you include a supporting statement in your application

    Feedback will only be provided to interviewed candidates.

    As a valued member of our team you can expect:

    An exciting, positive, creative, challenging and rewarding place to work. We give you support, nurture your talent and reward success. You will benefit from a competitive reward package and a wide range of staff benefits, which includes a generous holiday entitlement, a defined benefits , staff discounts, , flexible working and much more. Access our for further information and use our to find out the total value of pay and benefits provided.

    The University of Edinburgh holds a Silver Athena SWAN award in recognition of our commitment to advance gender equality in higher education. We are members of the Race Equality Charter and we are also Stonewall Scotland Diversity Champions, actively promoting LGBT equality.

    If invited for interview you will be required to evidence your right to work in the UK. Further information is available on our webpages

    The University is able to sponsor the employment of international workers in this role. If successful, an international applicant requiring sponsorship to work in the UK will need to satisfy the UK Home Office’s English Language requirements and apply for and secure a Tier 2/Skilled Worker Visa.

    Jobs you might also be interested in