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