If you are interested in this internship, use the following link to apply officially on the company's website: https://supra.com/careers/5158269004/ Do not send your resume's to r.ramesh@supraoracles.com, as it will be ignored. Those who have already sent resumes to this e-mail should also apply on the above link. On 2024-04-16 14:26, M Praveen wrote:

Title: Test case generation for blockchain consensus protocol with the help of formal methods

Achieving consistency in modern large-scale and fault-tolerant distributed systems often relies on intricate consensus protocols. Ensuring the reliability of implementations of such protocols remains a significant challenge because of the enormous number of exceptional conditions that may arise in production. Netrix is a tool and a methodology for testing such implementations that aims to exploit programmer's knowledge to improve coverage, enables robust bug reproduction, and can be used in regression testing across different versions of an implementation. This has been applied to Tendermint, a popular proof of stake blockchain protocol, Tendermint and to a popular benign consensus algorithm, Raft. It has been able to identify deviations of the implementation from the protocol specification and verify corrections on an updated implementation.

The internship involves using the Netrix tool to test the chained Moonshot consensus protocol implementation, the protocol underlying Supra Oracle's block chain infrastructure.

Time period: >= 6 months

Remote Work

Company: Supra Oracles, https://supra.com/

Contact: r.ramesh@supraoracles.com

_______________________________________________ FMIndia mailing list -- fmindia@cmi.ac.in To unsubscribe send an email to fmindia-leave@cmi.ac.in

https://fmindia.cmi.ac.in/ _______________________________________________