Join Our Team
🎓 Join Our Team
I am actively engaged in the interdisciplinary research of quantum computing and formal methods and have led several cutting-edge projects. These projects focus on areas such as quantum system model checking, trustworthy quantum machine learning algorithms, quantum circuit optimization, and quantum privacy protection.
🌟 Our Research Directions
We offer research opportunities in, but not limited to, the following areas:
- 📊 Model checking and formal verification of quantum systems
- 🔒 Quantum privacy protection mechanisms and quantum differential privacy
- ⚙️ Design and optimization of quantum (machine learning) algorithms
- 🧩 Efficient utilization of quantum computing resources in noisy environments
- 🛠 Development of trustworthy quantum computing toolchains
🧑🎓 Positions Available
We welcome applications for:
- Master’s and Ph.D. students
- Research interns
- Postdoctoral researchers
💼 Why Join Us?
- Cutting-Edge Research: Work on innovative projects at the intersection of quantum computing and formal methods.
- Strong Funding: We offer ample funding to support research activities and projects.
- Hands-On Experience: Engage in national and international quantum computing projects.
- Career Development: Build expertise in a rapidly advancing field with significant growth opportunities.
📬 Contact Information
📧 Email: guanj@ios.ac.cn
🌐 Project Website: VeriQ Toolchain