Dafny Developer for Code Completion
Budget: $30 – $250 USD
I'm looking for a Dafny developer to support me in the completion of existing code.
I need him to pass verification of the code by the instructions exactly.
it requires knowledge in proofs, using lemmas.
Key Responsibilities:
- Complete existing code in Dafny
- Conduct code verification and ensure it passes successfully
- Ensure the code is coherent and properly structured
Requirements:
- Proficient in Dafny
- Extensive experience with complex algorithms and data structures
- Able to work with well-documented code and project requirements
- Strong problem-solving skills
- Excellent communication skills, as we will need to discuss certain parts of the code
Prior experience with similar projects and a good track record of successfully completing Dafny projects is highly preferable. Feel free to reach out if you have any questions.
I need him to pass verification of the code by the instructions exactly.
it requires knowledge in proofs, using lemmas.
Key Responsibilities:
- Complete existing code in Dafny
- Conduct code verification and ensure it passes successfully
- Ensure the code is coherent and properly structured
Requirements:
- Proficient in Dafny
- Extensive experience with complex algorithms and data structures
- Able to work with well-documented code and project requirements
- Strong problem-solving skills
- Excellent communication skills, as we will need to discuss certain parts of the code
Prior experience with similar projects and a good track record of successfully completing Dafny projects is highly preferable. Feel free to reach out if you have any questions.