I need a F# developer- computer mathematics and declarative Programming

project that will involve the completion of a set of
activities related to the Planning and Design, Development and Testing of Software systems
produced using Declarative Programming techniques.
T1 Planning and Design based on Mathematical and Declarative Programming
techniques
• T2 Program Implementation based on Declarative Programming tools and
techniques
• T3 Testing and Verification of Programs via appropriate tools and techniques
T4 Understanding and exploring team-based software development

A logbook example will be provided along with more details.