
LogicStar AI Bulgaria
Company overview
LogicStar is the first fully autonomous AI agent for software maintenance. It investigates, reproduces, and fixes reported issues-delivering production-ready updates with the accuracy of senior engineers before customers even notice.
Activity
Product company, Implementation of software systems,
Industry
AI Agent, DeepTech, Code Automation
Headquarters
Zurich, Switzerland
Year of establishment:
2024
Employees worldwide
10
Established in Bulgaria
2024
Employees in Bulgaria:
1
Offices in Bulgaria
Sofia (INSAIT)
IT Employees in Bulgaria
1
How we work
Annual leave
25+ days annually.
Remote work
It is possible to work entirely from home.
Flexible working hours
Flexible outside of team meetings.
Benefits
Entertainment and discounts
Parties and team building
Career growth
Tickets for conferences and seminars
Coaching / mentoring program
Individual career development plan
Additional benefits
Program with options / shares of the company
Extra insights
Key company products/services:
Our technology is built on a unique blend of large language models (LLMs) for code, agent framework for AI code agents, classical program analysis, and an advanced mock execution environment. Unlike existing AI coding agents that struggle with enterprise-level codebases (failing on >90% of issues), LogicStar AI's agent: 1. Autonomously detects and reproduces software issues; 2. Runs generated tests to validate fixes before deployment; 3. Delivers precise, self-healing solutions.
What we believe:
- Team = family
- Trust
- Deep tech revolutionary products
Additional Information:
The LogicStar team previously built DeepCode.ai (now Snyk Code), scaling it to $100M ARR. Martin leads the SRI lab at ETH Zurich and founded INSAIT. Our tech, backed by expertise from ETH, MIT, TRIUM & INSAIT, has 20K citations and 350 top AI & program analysis publications. LogicStar is the only agent-based framework enabling full AI autonomy, using deep code analysis and simulated executions to eliminate AI hallucinations, delivering fully autonomous, correct solutions faster than humans.