At a Glance
- Tasks: Join a research team to enhance math reasoning and develop machine learning strategies.
- Company: University of Manchester, a pioneer in Computer Science research and education.
- Benefits: Market-leading pension, health services, generous leave, and discounts at major retailers.
- Other info: Flexible working options available in a supportive and diverse environment.
- Why this job: Be part of groundbreaking research that combines math with innovative technology.
- Qualifications: Experience in research, mathematics, and machine learning is preferred.
The predicted salary is between 36000 - 60000 £ per year.
We are seeking three highly motivated and experienced Research Associates to join an established research group. These positions are part of the new project Learning to do Math with Vampires and Spiders awarded to the Computer Science Department of the University of Manchester.
The formal methods group conducts research in automated reasoning with a recent emphasis on solving problems in mathematics. We build the world-leading automatic theorem prover Vampire, based on our research in theory, implementation, and applications of theorem proving. Vampire has won over 70 world championship titles in first-order and higher-order theorem proving.
Overall Purpose of the Job
There are three available positions. The main research directions are:
- Improving theory reasoning in Vampire, with the aim of enhancing its reasoning capabilities in math, including analysis, non-linear math, and trigonometric functions.
- Machine learning for first-order theorem proving to create strategy schedulers and other ways of configuring theorem provers.
- Creation of a public web service for first-order and higher-order theorem provers, using machine learning.
The Department is strongly committed to promoting equality and diversity, including the Athena SWAN charter for gender equality in higher education. The Department holds a Bronze Award for good practice in relation to gender, including flexible working arrangements, family-friendly policies, and support to allow staff to achieve a good work-life balance. We positively welcome applications from women for this post.
What you will get in return:
- Fantastic market-leading pension scheme
- Excellent employee health and wellbeing services, including an Employee Assistance Programme
- Exceptional starting annual leave entitlement, plus bank holidays
- Additional paid closure over the Christmas period
- Local and national discounts at a range of major retailers
Our University is positive about flexible working. Hybrid working arrangements may be considered.
Research Associate in Learning to do Math with Vampires and Spiders in Manchester employer: The University of Manchester
The University of Manchester is an exceptional employer, offering a vibrant work culture that fosters innovation and collaboration within the Computer Science Department. With a strong commitment to equality and diversity, employees benefit from flexible working arrangements, a generous pension scheme, and comprehensive health and wellbeing services, making it an ideal environment for professional growth and work-life balance.
Contact Details:
The University of Manchester Recruitment Team
StudySmarter Expert Advice🤫
We think this is how you could land Research Associate in Learning to do Math with Vampires and Spiders in Manchester
✨Get Involved in Data Science Meetups
Tap into local data science meetups or workshops to connect with fellow enthusiasts and professionals. These events are goldmines for networking, and sometimes even lead directly to job openings at companies like The University of Manchester!
✨Show Off Your Projects
Start building a public portfolio showcasing your data science projects on platforms like GitHub or personal websites. Highlight unique analyses or models you've developed. This not only demonstrates your skills but also gets your name out there for roles like Research Associate in Learning to do Math with Vampires and Spiders at The University of Manchester.
✨Leverage Professional Networks
Join professional bodies related to data science, like the Data Science Society or similar organisations. Getting involved can lead to mentorship opportunities and insider knowledge about full-time positions at companies like The University of Manchester.
✨Apply Directly through Our Website
When you find a suitable opening like Research Associate in Learning to do Math with Vampires and Spiders at The University of Manchester, make sure to apply directly through our website. It gives you an edge and shows you're keen to join our team. Plus, who doesn’t love a direct application? It’s easier than navigating through job boards!
We think you need these skills to ace Research Associate in Learning to do Math with Vampires and Spiders in Manchester
Some tips for your application 🫡
Show Off Your Projects:In the world of data science, your projects can speak volumes about your skills. Make sure to showcase a few key projects in your CV or portfolio, especially those that highlight your ability to work with data sets, build models, or use relevant tools like Python, R, or SQL. Don’t forget to include links to any GitHub repositories if applicable!
Quantify Your Achievements:Employers love numbers! When drafting your CV, highlight your achievements with quantifiable results. For instance, mention how your data analysis led to a certain percentage increase in efficiency or revenue at a previous job or project. These details can really make your application pop!
Craft a Tailored Cover Letter:For a full-time role at The University of Manchester, your cover letter should reflect your passion for data science and your excitement about the specific projects or values of the company. Dive into why you’re a good fit, how your skills align with their needs, and any unique perspectives you can bring to the team.
Stand Out with Relevant Courses and Certifications:Although experience talks, relevant courses or certifications can be your ticket to impressing hiring managers at The University of Manchester. Mention any standout courses you've completed that equipped you with essential skills, such as machine learning certifications or data visualisation courses. This shows your commitment to continuously developing your skills in the field!
How to prepare for a job interview at The University of Manchester
✨Brush Up on Your Statistics
For a data science role, we need to seriously sharpen our statistics skills. Get ready to tackle technical questions on probability distributions, hypothesis testing, and regression analysis. These are often the bread and butter of data science interviews, so don't just skim over them!
✨Showcase Your Projects
Prepare a killer portfolio showcasing your data science projects. We should include details about the datasets used, the tools and techniques applied, and the impact of your findings. If we can walk them through a particularly challenging project or a cool visualisation that had real-world implications, it’ll really make us stand out!
✨Get Comfortable with Python and R
Most data science positions require us to be proficient in programming languages like Python and R. We should practice common libraries like pandas, NumPy, and scikit-learn, and be ready for live coding exercises or algorithm questions. Showing off our coding chops can really impress the interviewers at The University of Manchester!
✨Prepare for Case Studies
Expect to encounter real-world case studies during the interview. We might be asked how we’d approach a data problem or analyse a dataset to extract insights. It's essential to think out loud and demonstrate our problem-solving process so that the interviewer can see our logical thinking in action.
