ADVERTISEMENT NO: R&D/736/LIF/305 , DATED: 12.09.2023 for the post of JRF
| Name of Post | No. of Post | Research project | Advertisement |
|---|---|---|---|
| JRF | 01 | LIFTchain: Development of Language-Independent Formal Method Toolchain for Efficient and Verified Blockchain Smart Contracts |