At a Glance
- Tasks: Conduct groundbreaking research on automated verification and security protocols.
- Company: Join a leading Computer Science department at Oxford University.
- Benefits: Competitive salary, inclusive culture, and opportunities for professional growth.
- Other info: Diverse and supportive environment with flexible working options.
- Why this job: Make a real impact in the field of security systems and collaborate with top researchers.
- Qualifications: PhD or nearing completion, with expertise in stochastic games and automated verification.
The predicted salary is between 39424 - 47779 £ per year.
Two Research Associate Positions - Automated Formal Verification, Stochastic Games, Algebraic Reasoning, Security.
Two posts starting from October 20th 2026 to conclude October 19th 2027 with the possibility of renewal twice depending upon successful project review. Post offered at Grade 7 (£39,424 - £47,779 p.a.). Potential to under fill at grade 06RS (£35,681 - £41,636 p.a.).
The Department of Computer Science seeks to employ two Research Associates to work within a research group, reporting to Associate Prof. Mahsa Shirmohammadi and Vincent Cheval. The postholders will carry out research on the ERC Synergy project Verification of Probabilistic Security Systems (VePaSS). The VePaSS project develops new foundations and automated methods for the formal verification of security protocols with probabilistic behaviour. By combining techniques from security verification, stochastic games, and symbolic computation, the project aims to overcome limitations of existing methods and enable the analysis of complex, inherently infinite-state protocols. Target applications include electronic voting and distance-bounding protocols.
Candidates will be expected to have a PhD’s degree (or be close to completion). They should have knowledge of one or more of the following topics:
- Computation of different notions of equilibria in Stochastic games
- Symbolic computation and Algebraic Reasoning
- Reasoning on equivalence of probabilistic security protocols
- Automated Verification through algorithm development
Selection will also consider the ability to produce publishable research, communicate proposals and findings effectively, and represent the research group at meetings and conferences.
All applicants must complete an application form and submit a CV and supporting statement. The closing date for applications is 31/08/2026.
We are a Stonewall Top 100 Employer, Living Wage and Mindful Employer, holding an Athena Swan Bronze Award, HR excellence in Research and Race Equality Charter Bronze Award. Our staff and students come from all over the world and we proudly promote a friendly and inclusive culture. Diversity is positively encouraged, through diversity groups and champions, as well as a number of family-friendly policies, such as the right to apply for flexible working and support for staff returning from periods of extended absence, for example shared parental leave. Demonstrating a commitment to provide equality of opportunity. We would particularly welcome applications from women and black and minority ethnic applicants who are currently under-represented within the Computer Science Department. All applicants will be judged on merit, according to the selection criteria.
Salary (£) : £39,424 - £47,779 per annum (including the Oxford University Weighting of £1,730 per annum – pro rata for part-time)
Research Associate on ERC Synergy VePaSS in Oxford employer: Corehr
Sheffield Hallam University is an exceptional employer, offering a vibrant and inclusive work culture that fosters innovation and collaboration within the Smart Interactive Technologies Lab. As a Research Fellow, you will have access to cutting-edge research infrastructure and the opportunity to contribute to impactful projects aimed at improving maternal health outcomes, all while benefiting from a supportive environment that prioritises professional growth and development. Join us in making a meaningful difference in healthcare through responsible and human-centred digital innovation.
StudySmarter Expert Advice🤫
We think this is how you could land Research Associate on ERC Synergy VePaSS in Oxford
✨Tap into Online Data Science Communities
Join online communities focused on data science like Kaggle, LinkedIn groups, or Reddit threads. These are goldmines for temporary gigs, as you can network with professionals and potentially hear about opportunities at companies like Corehr before they're even advertised!
✨Show Off Your Skills With Projects
Got some cool data science projects? Showcase them on platforms like GitHub or create a personal portfolio website. This visibility is crucial for landing temporary roles—let recruiters see your actual skills in action, which can set you apart from the crowd.
✨Check Out Specialist Job Boards
For temp roles, hit up job boards dedicated to tech and data science, like Stack Overflow Jobs or DataJobs. These platforms often feature openings that you won’t find on general job sites, including contracts with companies like Corehr.
✨Leverage University Resources
If you're currently at uni or recently graduated, tap into your school's career services. They often have connections with companies looking for temporary data science interns or contract workers, and they might even host job fairs with employers like Corehr.
We think you need these skills to ace Research Associate on ERC Synergy VePaSS in Oxford
Some tips for your application 🫡
Highlight Your Data Projects:When applying for a temporary data science role at Corehr, make sure to showcase any relevant projects you've worked on. Whether it's a personal project, an academic undertaking, or contributions to an open-source initiative, detailing these experiences can really set you apart and demonstrate your practical skills.
Emphasise Your Analytical Skills:In your CV and cover letter, focus on the specific analytical skills that are key to data science. Mention any experience with statistical tools, programming languages like Python or R, and data visualisation software. Don't forget to include any certifications that may bolster your expertise!
Show Your Flexibility:Since this is a temporary role, it's important to convey your adaptability and willingness to learn. In your cover letter to Corehr, emphasise how quickly you can get up to speed with new tools or projects. Highlight any previous experiences where you've had to adjust to new environments or challenges.
Craft a Unique Data-Driven Cover Letter:Instead of the usual generic cover letter, spice it up with some data! Maybe you’ve improved a process by 20% in a past role or cleaned a dataset with over a million entries. Use these stats to your advantage to grab Corehr’s attention and show the tangible impact of your work.
How to prepare for a job interview at Corehr
✨Showcase Your Analytical Skills
For a data science gig, it's crucial to demonstrate your analytical abilities. Be ready to discuss previous projects and the methodologies you used. Think about how you can quantify your impact—did your analysis improve efficiency or save costs? These are the stories that will stick with interviewers at Corehr.
✨Brush Up on Technical Skills
You might face technical questions on tools relevant to data science, like Python, R, or SQL. Prepare to solve a problem live—perhaps they'll ask you to write a simple query or code snippet. It’s cool to talk about them, but we need to show we can do it in practice, especially in a temporary role where quick results matter.
✨Highlight Your Adaptability
Since this is a temporary position, emphasise your ability to learn quickly and adapt to new tools or workflows. Share examples of how you've thrived in fast-paced environments before, and how you can hit the ground running at Corehr.
✨Prepare a Portfolio of Your Work
Bring your portfolio to the table—showcase projects where you've leveraged data science techniques to solve problems. Whether it’s a GitHub repository or a set of case studies, having tangible examples of your work will help you stand out and show what you bring to the team at Corehr.
