An internship is available, working with Susmit Sarkar on theorem prover definitions for cache verification. More details below:
Detailed internship ad.

The deadline for applications is Friday 13 May.