Job Title: Security Testing Engineer - Property-Based Testing Specialist
Location: Stockholm, Sweden (Onsite)
Contract Type: Fixed-term, approximately 4 months
About the Role
We are seeking two skilled Security Testing Engineers with expertise in property-based testing to join a technical team focused on enhancing the security of middleware software protocols. You will collaborate closely with cross-functional teams to set up, model, and execute vulnerability tests using specialised property-based testing tools.
Key Responsibilities
- Configure and initialise the property-based testing tool "QuickCheck" for vulnerability testing of OTP and Radio Control System Middleware protocols, including SSH and TLS.
- Develop and maintain QuickCheck models for the relevant protocols.
- Collaborate with development teams to analyse test results and drive improvements to both products and test models.
- Conduct iterative development cycles to contribute to model verification and validation activities.
- Lead a pilot project to assess feasibility and cost for modelling a defined section of Netconf-Yang O1.
- Investigate opportunities to reuse existing property-based test cases from related testing tools.
- Deliver thorough documentation, knowledge transfer sessions, and workshops to support ongoing team competency.
Deliverables
- A functional QuickCheck model enabling comprehensive vulnerability testing, fully documented for future enhancements.
- Successful rerun of tests on legacy software to detect specified known vulnerabilities.
- Completion of a pilot model for a specified section of Netconf-Yang O1.
- Comprehensive documentation and knowledge-sharing outputs as agreed with the team.
Requirements
- Proven experience with property-based testing tools, ideally including QuickCheck and/or PropEr.
- Strong background in security testing of network protocols such as SSH and TLS.
- Ability to work collaboratively with software development and testing teams.
- Excellent communication skills in English.
- Availability to work onsite in Stockholm for the duration of the contract.