Program Synthesis Engineer - Remote

Overview

We are building an AI system for analysts and scientists, based on a fundamentally new approach to reasoning and knowledge representation. We go beyond state-of-the-art LLMs by combining algorithms symbolically, to provide novel capabilities like performing multi-step analysis, displaying a verifiable reasoning path, and assessing uncertainty. We envision applications supporting and automating analysis and research in domains such as Finance, Strategy Consulting, Engineering, Material Sciences, and more.

In Short

• We are looking for strong software engineers to build our program synthesis pipeline.
• You will have the option to work closely with theory or the production system.
• Exposure to cutting-edge research in various advanced fields.
• Define new features or fixes based on overall objectives.
• Commit to delivering defined features or fixes end-to-end.
• Write clean and performant code.
• Collaborate effectively with team members.
• Document processes for better team alignment.
• Take ownership of tasks and deliver results.
• Embrace a growth mindset and seek continuous improvement.

Requirements

• Experience with program synthesis frameworks.
• Implementation and analysis of algorithms.
• Production backend software engineering experience.
• Proficiency in Julia or other functional languages.
• Knowledge of symbolic computing and graph theory.
• Advanced degree in Mathematics, Computer Science, or Statistics.

Benefits

• Work fully remotely within the CET timezone.
• Collaborative and supportive team culture.
• Opportunities for professional growth and development.
• Engagement with cutting-edge research and technologies.
• Flexibility in working style and approach.