Re: [pl-seminar] FW: summer internship available

["Thomas Reps" <reps@xxxxxxxxxxx>]

The person to contact is Ken McMillan (mcmillan@xxxxxxxxxxx)

Tom

> -----Original Message-----
> From: pl-seminar-bounces@xxxxxxxxxxx 
> [mailto:pl-seminar-bounces@xxxxxxxxxxx] On Behalf Of Thomas Reps
> Sent: Wednesday, February 08, 2006 8:24 PM
> To: pl-seminar@xxxxxxxxxxx
> Subject: [pl-seminar] FW: summer internship available
> 
> 
> 
> 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.
> 
> _______________________________________________
> Pl-seminar mailing list
> Pl-seminar@xxxxxxxxxxx
> https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar
>