ADVERTISEMENT NO:R&D/736/LIF/385 DATED: 04/06/2024 for the post of Junior Research Fellow (JRF)
| Name of Post | No. of Post | Research project | Advertisement |
|---|---|---|---|
| Junior Research Fellow (JRF) | 02 | LIFTchain: Development of Language-Independent Formal Method Toolchain for Eficient and Verified Blockchain Smart Contracts |