----- Forwarded message from Saurabh Joshi <s.joshi@supraoracles.com> ----- From: Saurabh Joshi <s.joshi@supraoracles.com> To: madhavan@cmi.ac.in Date: Tue, 21 Nov 2023 12:44:05 +0530 We would like to hire an intern (for up to 6 months) with FM background being essential (First Order Logic, Hoare Logic, Pre/Post conditions, Loop invariants) and a good command over any one of the imperative programming languages. Knowledge/experience with model checkers and/or SMT solvers would certainly be a plus. With the internship, we plan to explore the expressivity of the Move specification language, to enable Move Prover to prove properties about smart contracts written in the Move programming language. Possibly also explore internals of Move Prover and how Move is being modelled and whether any modifications/improvement would aid in formal verification of the smart contracts. Suitable interested candidates may apply here: https://supraoracles.com/careers/4967045004/ *--------------------------------------------------------------------------* *Saurabh Joshi* *Principal Researcher | SupraOracles* Current Timezone: New Delhi, India (GMT+5:30) Learn more and connect with SupraOracles here <https://linktr.ee/supraoracles>. ----- End forwarded message -----