We are working with an exciting, wholly subsidized start-up that is advancing explainable AI.
This company is revisiting one of the first questions in AI, mainly – can a machine act as a thought partner?
This is an opportunity to work alongside pioneers, professors and senior researchers combining knowledge representation and reasoning, semantics, natural language processing amongst other multi-disciplinary research areas to take the giant leap forward in artificial general intelligence.
- Ph.D. or MSc in Computer Science or Philosophy
- Expert level coding skills (Python or Java)
- Expertise in knowledge engineering, automated reasoning / planning
- Demonstrated track-record in publishing in top-tier journals and conferences
Keywords: First Order Logic, Automated Logic, Reasoning, Knowledge Representation and Reasoning, KRR, automated theorem proving,
Hear first hand what our happy candidates and clients think.
They put it better than we ever could.
Speaking to great people, working with great companies and having fun whilst we do it is what drives us! Become a part of the new innovative age and work with one of the biggest recruiters in Big Data, Data Science and Machine Learning across the world.