西安作为中国的古都之一，拥有丰富的历史文化遗产和现代化的科技产业。在西安，有许多专业的小程序开发公司，它们专注于为企业和个人提供高质量的小程序开发服务。以下是一些可能位于西安的专业小程序开发公司：

1. 西安软件开发有限公司
2. 西安智通软件科技有限公司
3. 西安诺达软件科技有限公司
4. 西安思科软件有限公司
5. 西安慧科软件技术有限公司
6. 西安蓝鲸软件开发有限公司
7. 西安金智软件科技有限公司
8. 西安华清软件开发有限公司
9. 西安科软信息技术有限公司
10. 西安易通软件技术有限公司

请注意，公司名称和地址可能会随时间变化，建议通过互联网搜索或者在西安当地的软件行业协会、科技园区等机构获取最新的信息。在选择小程序开发公司时，应该考虑以下因素：

- 公司的专业性和经验：查看公司之前的小程序开发案例和客户评价，了解公司的专业领域和经验。
- 技术能力和团队：了解公司使用的技术栈和开发团队的能力，确保他们能够满足你的需求。
- 沟通和合作：良好的沟通和合作是项目成功的关键，选择一个愿意与你紧密合作的公司。
- 服务和支持：了解公司在项目完成后提供的服务和支持，确保你的小程序能够持续运行和更新。

在选择小程序开发公司之前，最好能够与潜在的合作伙伴进行面对面的交流，以便更好地评估他们的能力和理解你的需求。