We're planting a tree for every job application! Click here to learn more

Senior/Mid F# Development Engineer

The Secret Circle Solutions

Remote within Europe

EET (–10/+6 h)

Posted almost 3 years ago

F#, NEthereum, Type provider, DeFi, MakerDAO

Tech stack

  • F#

We are hiring a F# developer who is interested in Blockchain, decentralized technologies, and the idea about trustless financial systems. The customer is a large FinTech company developing its own set of DeFi protocols, similar to MakerDAO.


The developer will be responsible for:

1. Building a DeFi protocol for Ethereum blockchain

2. Building test tools for testing Ethereum smart contracts, the currently planned one is a test suite for formal verification of Ethereum smart contracts (Presumably, we will choose F* for this)

3. Building comprehensive test projects for the contracts, using our newly developed type provider for smart contracts

Compensation

$30K - 60K

Role type

Full time

Visa sponsorship

Not provided

Benefits & perks

  • Remote Working

  • Flexible Working

Similar roles that might interest you

WorksHub

CareersCompaniesSitemapFunctional WorksBlockchain WorksJavaScript WorksAI WorksGolang WorksJava WorksPython WorksRemote Works
hello@works-hub.com

Ground Floor, Verse Building, 18 Brunswick Place, London, N1 6DZ

108 E 16th Street, New York, NY 10003

Subscribe to our newsletter

Join over 111,000 others and get access to exclusive content, job opportunities and more!

© 2024 WorksHub

Privacy PolicyDeveloped by WorksHub