Looking for Blockchain developer with Haskell experience

We Need: Refactoring of the existing code to make the below points easy to implement More sophisticated network delays, modelling realistic real-world scenarios with a geographical latency graph Simulation of some Byzantine behaviour, controllable by a command-line flag; larger parts of this are likely to be done post-ICO, as there are no bounds to how much testing can be done with this approach, but included are at least One multiple-votes attempt One attempt to stall progress by not voting One double-spend attempt at the ledger level Full source code documentation Unit and property testing Blockchain and ledger Haskell data types to represent the block chain Chain validity check implementation (chain hashing) Data types for transactions (as block contents) Ledger validity check implementation (signatures and balances) Simulation performance improvements that allow to simulate shorter network delays with less over-approximation than the current simulator A Continuous Integration setup, that runs tests and produces benchmark outputs Instructions to build and run the software reproduce the graphs for users unfamiliar with Haskell