Research Associate in Computer Algebra (fixed-term post) (CC9078)
University of Bath
Description
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 (masjhd@bath.ac.uk), 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.
We offer:
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.
為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標題格式：應(yīng)聘職位名稱+姓名+學(xué)歷+專業(yè)+中國博士人才網(wǎng)）
中國-博士人才網(wǎng)發(fā)布
聲明提示：凡本網(wǎng)注明“來源：XXX”的文/圖等稿件，本網(wǎng)轉(zhuǎn)載出于傳遞更多信息及方便產(chǎn)業(yè)探討之目的，并不意味著本站贊同其觀點或證實其內(nèi)容的真實性，文章內(nèi)容僅供參考。
