Research Associate in Computer Algebra (fixed-term post) (CC9078)
University of Bath
The Department of Computer Science wish to appoint a Research Associate on the DEWCAD (Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition) project in computer algebra and Satisfiability Module Theories (SMT) between the University of Bath (James Davenport and Russell Bradford) and Coventry University (Matthew England).
Both universities also have research students in this area, so there is an opportunity to contribute to the development of research students as well. Much of the software development is done in Maple, and Maplesoft are also involved in the project. Prior Maple experience would be an advantage, but is not required.
This is a fixed-term position for up to 2 years. Interviews will be held w/c 21 March 2022.
For an informal discussion about the role please contact Professor James Davenport (firstname.lastname@example.org), however, please submit your application via the University website.
What we can offer you:
We are an equal opportunities employer and have an excellent international reputation with staff from over 60 different nations. We have made a positive commitment towards gender equality and intersectionality receiving a Silver Athena SWAN award.
A family-friendly University with an increasingly agile workforce, we are open to flexible working arrangements. We’re also proud to be a disability confident leader and are happy to discuss any reasonable adjustments you may require.
a very generous employer contributory pension scheme;
generous annual leave allowance with an additional 5 discretionary days so that you can enjoy a positive work life balance;
an excellent reward package that recognises the talents of our diverse workforce;
able to offer you a very generous employer contributory pension;
a wide range of personal and professional development opportunities.