Career

The Core Team is responsible for the research and development of LogicBlox's core platform. We are seeking people with the following expertise:

• Database systems and theory
• Concurrency and parallelism
• Distributed systems
• Programming languages
• Testing and model checking

Who would you be working with?

• Core engineering team is composed of ~20 people, 10 with Ph.D.s, well-published in areas ranging from programming languages to software engineering to systems to databases.
• A leadership that is very supportive of using the latest research results to put us ahead of our competitors.
• A network of over 60 academic collaborators at universities such as Berkeley, UPenn, UMass Amherst, Oxford, Georgia Tech., Northwestern, etc.

Who would enjoy working with us?

• You love what you do! You prefer not just a paycheck, but to pursue a personal passion.
• You enjoy working with a small team where you are not pigeon-holed into a particular role or a particular part of the system; your role is determined by your own interest and talent.
• You know how to code. Really. Well. (C++, Java preferred.)
• You test your code. Really. Well.
• You can think outside of the box. You challenge status quo. You keep learning, and bring new ideas to the table.
• ... But you can also be a good team member and just execute the plan the team has agreed upon.

The LogicBlox platform aims to provide declarative, and tight integration between data and machine learning methods. We are looking for smart and creative PhD students to work in the area of expressing statistical/machine learning problems in a declarative language. PhD students in the following areas are welcome:

• Markov Logic
• Statistical Relational Learning
• Machine Learning/Data mining algorithms in databases
• Machine Learning modeling and modeling
• Inductive Logic Programing
• Logic Based Learning for Statistical Learning
• Learning 1st order logic rules from data
• Automatic Synthesis of Scientific Algorithms
• Inductive Synthesis of Functional Programs
• Expressing numerical/scientific algorithms in Prolog/Lisp (or any other declarative language)