Program Synthesis Engineering

PlantingSpace | Full-time | Remote (EU time zone) + Quarterly Meet-ups | https://planting.space We're building a system that represents domain knowledge as modular probabilistic models — making analysis rigorous and transparent. Users can connect these models flexibly into larger structures. The system enforces consistency across them, and propagates uncertainty through each step. Our first applications are in finance and scientific research, with use cases ranging from equity valuation and distress monitoring, to particle physics. This is an opportunity for builders and practitioners to help shape a deep-tech product from its earliest stage. Current openings: * Product Software Engineering (Quantitative Modeling) * Program Synthesis Engineering * Applied Category Theory Research * Bayesian Software Engineering We're also looking for Domain Experts to collaborate on high-value use cases -- identifying and validating opportunities, shaping them into working solutions with our engineers, and taking them from pilot to production with real users. Practitioners with expertise in Valuation Models, Quantitative Default-Probability Models, or Interest Rate Prediction Models are particularly relevant right now. Find out more, and apply at: https://planting.space/joinus/ Questions? Get in touch: talent@planting.space