Program Synthesis Engineer

About PlantingSpace: PlantingSpace is pioneering a new approach to AI reasoning through symbolic computation and probabilistic programming. We’re building systems that provide verifiable reasoning paths and handle complex knowledge representation, offering transparency and uncertainty assessment in AI-driven applications. This role contributes to our core mission of developing reliable AI tools for scientific and analytical domains.

About The Role: As a Program Synthesis Engineer, you’ll design and implement algorithms for our unique approach to reasoning and knowledge representation. You’ll work with complex systems that combine symbolic computation with probabilistic methods, enabling transparent AI applications. This is a chance to make significant contributions to cutting-edge AI technology while collaborating with accomplished researchers and engineers.

Key Responsibilities:

• Design and implement novel algorithms for symbolic computation and probabilistic programming
• Develop efficient data structures and algorithms for complex reasoning tasks
• Optimize performance of probabilistic computations and symbolic manipulations
• Collaborate with researchers to translate theoretical concepts into practical implementations
• Write clean, maintainable, and efficient code in our primary languages (typically Julia)
• Perform code reviews and mentor junior engineers
• Contribute to our open-source projects and research publications

Required Skills and Qualifications:

• Proven experience in designing solutions for complex implementation problems
• Strong expertise in writing clean, robust, and performant code
• Deep understanding of data structures and algorithms
• Proficiency in programming languages like Julia, Python, or similar
• Experience with metaprogramming techniques and probabilistic programming
• Background in symbolic computation or mathematical logic
• Ability to reason about complex systems and their probabilistic behaviors
• Excellent problem-solving skills with attention to detail

Technical Stack:

• Programming: Julia, Python, C++
• Paradigms: Functional programming, metaprogramming
• Libraries: JuMP, Turing, or similar probabilistic programming tools
• Tools: Git, Docker, CI/CD pipelines

Benefits:

• Competitive salary with equity options
• Unlimited PTO and work-life balance
• Quarterly team retreats in different European locations
• Opportunities for professional development and research collaboration
• Remote-first work environment with flexible hours
• Collaborative team with diverse backgrounds and expertise