C++ AVISPA Protocol Security Testing

I'm looking for a proficient C++ programmer available to work on a challenging project. The task entails operating on a program for examining the safety of SSH and TLS authentication protocols, specifically exploiting the AVISPA Tool.

A bit about the working environment:
- The AVISPA tool is to be operated on a Windows-based virtual machine.

Key job responsibilities:
- Utilize a virtually crafted code to execute the tool
- Test robustness and safety of aforementioned protocols
- Provide visible animation outputs post testing

Ideal skills and experience:
- Excellent knowledge of C++
- Excellent knowledge of AVISPA tool.
- Significant experience in operating on Windows OS virtual machine
- Familiarity with AVISPA Tool will be a big plus
- Strong understanding of SSH and TLS authentication protocols