Hypothesis is an advanced and widely-used property-based testing framework, used by thousands of companies and open source projects. Zac Hatfield-Dodds has many related projects for students interested in advanced testing and verification, whether on the formal-methods or fuzzing sides of the field. All projects require strong Python skills; experience with open source workflows (git, CI, etc) are helpful but not required.
You can read more details about each project at https://cs.anu.edu.au/cybersec/student_projects/#advanced-property-based-testing-projects
If interested, please email email@example.com to discuss a project as early as possible.