英国肯特大学2020年招聘博士后职位（计算机项目编程）

CEMS-005-20 - Research Associate for Project CaMELot

University Of Kent

Description

View All Vacancies

Research Associate for Project CaMELotSchool of ComputingLocation: Canterbury

Salary: £34,804 to £39,152 per annum Grade: Grade 7 Post Type: Full Time Contract Type:Fixed Term - 24 Months Release Date: Tuesday 01 December 2020 Closing Date: 23.59 hours GMT on Sunday 17 January 2021 (unless otherwise stated) Interview Date: Monday 01 February 2021 Reference: CEMS-005-20

The School of Computing wishes to appoint a qualified and highly motivated researcher to work as a Research Associate. You will work on a project titled “CaMELot: Catching and Mitigating Event-Loop Concurrency Issues”, which is funded by an EPSRC UK grant and is led by Dr Stefan Marr.

Your role will be to develop lightweight run-time detection techniques for concurrency issues, develop heuristics to minimize run-time overhead, and develop supporting techniques to handle a wide range of potential concurrency bugs. One key element of this work is performance and devising optimization strategies in just-in-time compiled dynamic language runtimes. Another element is the development of tools that enable software developers to fix the bugs in their software. Furthermore, you will engage with user groups and industry to build a corpus of bugs to better understand the common issue and to enable an evaluation of this research.

You are encouraged to contact Stefan, the principal investigator by email (s.marr@kent.ac.uk) if you have any further questions about this post, or if you would like a copy of the full project description.

The starting date is negotiable.

As a Research Associate you will:

develop lightweight race detection techniques based on recognizing heap- access patterns

develop techniques for low-overhead run-time mitigation

develop tooling to use run-time information for debugging

build a corpus of concurrency issues for the evaluation of the research and wider use

report the results in academic papers

To succeed in this role you will have:

PhD (completed or near completion prior to the start date) in Computer Science with an interest in programming language implementation or equivalent a doctorate or submitted doctorate dissertation in Mathematics

strong background in language implementation techniques, e.g., interpreters, compilers, high-level language virtual machines

ability to act on own initiative within the project context

The School of Computing is a welcoming and diverse environment that has been recognised with a Bronze Athena SWAN award. Our staff and students come from all over the world, and we are proud of our friendly and inclusive culture. We support colleagues through a number of family-friendly policies, including a core hours' policy and the right to apply for flexible working, and support for staff returning from periods of extended absence (for example, parental leave).

Please see the links below to view the full job description and also to apply for this post. If you require further information regarding the application process please contact The Resourcing Team on jobs@kent.ac.uk quoting ref number: CEMS-005-20

更多最新博士后招收信息请关注博士后招聘网微信公众号（微信号：boshihoujob）