This is a project on commercializing an MIT research project, synthesizing probabilistic programming, databases, and spreadsheets.

We solve hard problems, usually for the government. We’re not some stodgy defense contractor but rather teams of engineers, mathematicians and software engineers that get things done and actually deliver product. Some examples of the types of projec…

Gaia is creating a platform to enable autonomous machines. We are building a new architectural model that is centered around data, in-memory databases, data-based programming models, robotics, machine learning, and new programming languages and para…

Qualys is a provider of cloud security, compliance and related services for small and medium-sized businesses and large corporations. We are looking for a capable, motivated engineer to help us update and maintain our backend infrastructure. The ide…

MongoDB is looking for a Senior Driver Engineer to build the best Node.js developer experience when working with our database. You will develop open-source projects for the language driver, ODMs, and related infrastructure that support the use of Mo…

Interos Solutions, Inc. is a fast-growing venture backed company with an AI-driven SaaS application that delivers our commercial and government customers insights into their ever-changing business ecosystems. The core of our platform is the compilat…