We are seeking a full-time developer at TU Kaiserslautern to work with Dr. William Hart on the MPIR http://mpir.org/ bignum library.
The developer will work at TU Kaiserslautern in the city of Kaiserslautern Germany. Kaiserslautern is next to one of the largest contiguous forests in Europe.
To help maintain the MPIR library as part of the OpenDreamKit collaboration, in particular to enhance the performance and portability of the library.
The successful applicant will develop an assembly superoptimiser for x86_64 architectures, develop assembly improvements of low-level routines which make use of the AVX instruction sets and help with maintenance of the MPIR build system, especially to support recent processors.
Depending on the skills of the applicant, the developer may also wish to contribute to higher level C implementations of bignum operations.
Assembly language experience
Experience in low-level optimisation
Fluency in English
Must have an undergraduate degree in Mathematics, Computer Science, Computer Engineering or equivalent.
Experience in Open Source development and tooling
The position will be funded by
- This project brings together the open-source computational mathematics ecosystem – and in particular LinBox, MPIR, SageMath, GAP, PARI/GP, LMFDB, Singular, MathHub, and the IPython/Jupyter interactive computing environment. – toward building a flexible toolkit for Virtual Research Environments for mathematics. Lead by Université Paris-Sud, this project involves about 50 people spread over 15 sites in Europe, with a total budget of about 7.6 million euros.
Expressions of interest
Interested candidates should send an email to goodwillhart at googlemail.com for further information about the position.
Deadline for applications
The deadline for applications for this position will be 29 Nov 2015. Applications should consist of an email to goodwillhart at googlemail.com and decker at mathematik.uni-kl.de with a CV, statement that you wish to apply for the position, a cover letter and a link to some code you have written, preferably on GitHub.
The application process also requires us to do a short interview, which can be conducted by telephone if candidates are not in Germany at the time.
We hope to make final decisions in early December.