[pl-seminar] FW: summer internship available

["Thomas Reps" <reps@xxxxxxxxxxx>]

We have a summer internship available at Cadence Berkeley
Labs in one of these areas areas:

- Software and system-level model checking or program analysis
- Automated assume/guarantee reasoning
- Decision procedures (or SAT Module Theories)

The student would work with Anubhav Gupta and myself. We're looking
for someone with good implementation skills.