Neuro-Symbolic AI

TOOLS

& JOBS

We regard as essential to our mission the production of open source software (free and usable for both research and commercial purposes) implementing the best ideas in neuro-symbolic AI we’re aware of, for core AI tasks including:

  • Data science (e.g. classification)

  • Natural language processing (e.g. generative AI)

  • Sequential decision making (e.g. for robotics)

This is primarily led by the Institute’s sister organization, the Centaur AI Corp (see below), with possible scientific contributions by the Institute. Coming in 2025. Get on our mailing list for announcements.

Open Source

Tools

H e l p i n g

Organizations

Centaur AI Corporation

Like many non-profit organizations, the Institute has an affiliated for-profit entity, the Centaur AI Corp, for the subset of activities which further its mission but may also further the commercial interest of a third party. To learn more about corporation, send us an email.

Software development

The primary focus of the Centaur AI Corp is to perform research and development of neuro-symbolic AI tools and systems, largely in open source. It is a Benefit Corporation which formally serves the mission of the Institute.

Advising organizations

For ambitious startups and larger enterprises seeking to take advantage of the powerful technologies emerging from this next wave of AI, we have the industrial experience to help you learn more and assess whether your problem can be well addressed, and even help you execute a proof-of-concept project through to a deployed system.

To accelerate the development of the neuro-symbolic AI ecosystem, we advise organizations of all kinds on how to utilize neuro-symbolic AI technologies, including non-profits, government agencies, startups, venture capital and private equity firms, and large enterprises.

Research Software Engineer – Neuro-Symbolic AI, Probabilistic Logic, NLP

Job Description: We are seeking a talented and motivated Mid-Level Software Engineer to join our innovative team focused on advancing Neuro-Symbolic AI. Our work bridges probabilistic logic, symbolic reasoning, and natural language understanding, making an impact on both academia and open-source ecosystems.

As part of our team, you will contribute to the development of cutting-edge tools and technologies at the intersection of probabilistic reasoning, symbolic logic, and AI-driven natural language understanding, as well as enhancing support for related ecosystems.

Our team is deeply committed to open-source principles, fostering a collaborative environment where your contributions will directly impact a vibrant, global community. You will have the unique opportunity to work on innovative solutions that seek to address the fundamental issues challenging current Large Language Models (LLMs), pushing the state-of-the-art in Neuro-Symbolic AI.

We are a fully remote organization with a "never go back" policy, ensuring that remote work remains a permanent and integral part of our culture. We believe in empowering our team members to thrive in a flexible, distributed environment.

If you have a passion for building innovative AI systems at the intersection of probabilistic reasoning and symbolic logic, we encourage you to apply.

 Job 

Openings

  • Description text gDevelop and maintain tools for probabilistic reasoning and symbolic logic integration with natural language inputs.

    • Work with a tech stack including Python, C/C++, and optionally, React.js with TypeScript for front-end development and experience with functional programming.  

    • Collaborate with a global, remote team to deliver high-quality, open-source software.

    • Review and contribute to academic research to align implementations with state-of-the-art findings.

    • Ensure software quality through robust testing, documentation, and adherence to best practices.oes here

    • Proven experience in software engineering with Python and C/C++.

    • Familiarity with probabilistic logic, symbolic reasoning, or natural language processing (NLP).

    • Experience with open-source development, including version control (Git).

    • Strong problem-solving skills and the ability to work independently in a remote environment.

    • Optional but beneficial: Experience with React.js and TypeScript for building front-end interfaces.  Experience with one or more functional programming languages and understanding of the underlying higher-order logic principles.

    • A passion for academic research and a willingness to engage with cutting-edge scientific literature.

    • Contributions to open-source projects in AI, NLP, or symbolic reasoning.

    • Knowledge of frameworks and tools used in symbolic reasoning or probabilistic AI.

    • Experience working with distributed teams in academic or research-focused environments.

Working With Us

If you are excited about contributing to groundbreaking AI advancements and thrive in a dynamic, research-oriented working style, we would love to hear from you!

Why Join Us?

  • Innovative Projects: Work on impactful research-based initiatives shaping the future of Neuro-Symbolic AI and challenging the capabilities of Large Language Models (LLMs).

  • Open-Source Ecosystem: Be part of a vibrant community advancing open-source technologies where your work has direct and meaningful impact.

  • Work with World-Class Researchers: Collaborate with top experts in the field, learning and contributing to groundbreaking advancements.

  • Flexible Remote Work: Collaborate with a diverse and distributed team from the comfort of your location.

  • Remote-First Policy: Enjoy a permanent remote work setup with our "never go back" approach.

  • Professional Growth: Engage with cutting-edge academic research and grow your expertise in AI and logic systems.

Our Working Culture

For some insight about our culture/style (both the Institute and the Corp, whether employed by us or collaborating with us), here is an incomplete list of some aspects:

  • “One team”: We maximize our ability to achieve great things by rowing in one direction and mutual trust. This includes generosity in terms of help and acknowledgement of others.

  • Ethics: For example, proper crediting and meritocratic operation is essential.; we are clear about non-profit vs for-profit pursuits and carefully segregate them into different organizations.

  • Debate: We are trying to solve difficult problems, so the answers are unclear and require robust ego-free and impersonal debate, which we can do by trusting in our teammates that anything can be questioned, and by anyone.