ADVERTISEMENT NO: R&D/736/LIF/257, DATED: 12.01.2023 for the post of Junior Research Fellow
| Name of the Post | Temporary Research Project Title | Description | Corrigendum |
|---|---|---|---|
| Junior Research Fellow | LIFTchain: Development of Language-Independent Formal Method Toolchain for Efficient and Verified Blockchain Smart Contracts | Advertisement (PDF) |