Research Engineer
Job description
We're working with a cutting edge BioTechnology AI firm in Singapore who have created a flagship AI system for theorem proving.
As they expand their product into new sectors, they are looking for a Research Engineer with a deep background in Functional Programming to help design and improve the system. You will work on creating models of mathematical and scientific problems and validating their solutions using formal verification systems.
Key Responsibilities
Develop and optimize AI components using functional programming.
Implement algorithms for automated theorem proving.
Integrate AI components, including machine learning models.
Apply advanced mathematical concepts.
Collaborate with researchers and engineers.
Experience & Qualifications
Excellent academic record, ideally with a Master's degree or higher in a quantitative field - Computer Science, Mathematics, Data Science, Statistics etc.
8+ years' experience in research engineering and development
Commercial experience using functional programming language - Haskell, OCaml, Scala, F#, Kotlin.
Experience with AI and machine learning is strongly preferred.
Familiarity with Computer Algebra Systems and logic systems.
**Salary negotiable up to $200,000*
If you are interested in this job and would like to have a discussion, please contact lewis@tenten-partners.com
Equal Opportunity Statement
TENTEN Partners is an equal opportunity firm and is committed to providing equal employment opportunities to all qualified individuals without regard to race, colour, religion, sex, sexual orientation, gender identity, national origin, age, disability, or any other protected characteristic as outlined by applicable.