[madPL] Fw: Summer 2023 Internships at Bell Labs

["LORIS D'ANTONI" <ldantoni@xxxxxxxx>]

---

From: Kedar Namjoshi (Nokia) <kedar.namjoshi@xxxxxxxxxxxxxxxxxxx>
Sent: Tuesday, December 6, 2022 7:47 AM
To: SOMESH JHA <jha@xxxxxxxxxxx>; LORIS D'ANTONI <ldantoni@xxxxxxxx>; Aws Albarghouthi <aws@xxxxxxxxxxx>
Subject: Summer 2023 Internships at Bell Labs

 

Dear Somesh, Loris, Aws,

         Our research group at Bell Labs has several internship positions for Summer 2023 in the areas of Web3 and decentralized systems (announcement attached). Topics include research on systems, protocols, and implementation, and on the design of smart contracts. For students: please get in touch with Nirupama Ravi at Nirupama.ravi@xxxxxxxxxxxxxxxxxxx; include your CV and indicate areas of interest.

 

         There is a separate internship position on a DARPA-funded project for research on protocol synthesis and verification. For interested students: please get in touch with Kedar Namjoshi at kedar.namjoshi@xxxxxxxxxxxxxxxxxxx .

 

         Could you please circulate this announcement and encourage students to apply? Thanks very much!

 

All the best,

--Kedar

 

 

Attachment: Bell-Labs-Summer-2023-Internships.pdf
Description: Bell-Labs-Summer-2023-Internships.pdf