[FM-India]Re: Internship announcement for static analysis of smart contracts