Database Theory R&D Engineer at GRAKN.AI

Intelligent systems consume data that are too complex for current databases to handle. GRAKN.AI is a database for complex and intelligent systems, that uses a knowledge representation system to structure complex data and reasoning engine to infer and interpret complex relationships. 
We're a team of 16 talented engineers from Cambridge, Oxford, Imperial, Stanford and other world-class universities, and we're based in London. We've developed a database in the form of a distributed knowledge base that reasons over data in real-time, called GRAKN.AI. it enables machines to handle complex data and derive knowledge that is too complex for human cognition to uncover. Five years from now, GRAKN.AI will be in the hands of every developer as a de facto database for building cognitive and intelligent systems. We're a team with big ambitions, and our competitions are fierce: MongoDB, MySQL, Oracle, Neo4j, and so on. However, none of the current database solutions address the problem of data complexity like we do. And recently, the Cambridge Computer Lab Ring awarded GRAKN.AI as the Product of the Year 2017 . 
Since we released our open source beta late last year, we've passed 3700 user downloads, and our developer community has grown past 220 members. We are now starting our enterprise adoption, and we are entering a massive scaling phase. We are looking for a talented Database Theory researcher/engineer to lead and execute the research and development of Grakn's database design and formal model while the technology continues to scale up. 
1. Ensure that Grakn's database design and formal model is always complete and consistent across all components of the system. 
2. Improving the design of Grakn's Knowledge Representation system to ensure that it remains to be the state of the art in knowlede base technologies. This responsibility will include publishing papers and attending conferences. 
3. Technical writing about our technology for external and internal audience. 
4. Rapid prototyping of the technology. 

Required Skills: 
1. PhD from a globally recognised university in a field related to Database Theory and Database Management Systems. 
2. Publications in globally recognised academic journals/conferences. 
3. Prototype development for the demonstration of research findings. 
4. Algorithmic coding skills - able to solve complex mathematical and computational coding problems. 
5. Communication skills - able to convey complex technical concepts to both technical and non-technical audiences. 

Bonus skills: 
1. Experience in the field of Knowledge Representation and Automated Reasoning. 
2. Commercial R&D experience. 
3. Worked in SDLC frameworks (ideally Agile). 
4. Java OOP development. 
5. Systems architecture design.

London, United Kingdom