[PRL] Fwd: COOP / SAT solvers

[Karl Lieberherr]

As Pete Manolios said in his talk, verification is big business. Here
is a call for help
from Cadence one of the two largest electronic design automation companies.

Let me know if you know someone.

-- Karl

---------- Forwarded message ----------
From: John Pierce <jlp at cadence.com>
Date: Apr 21, 2007 11:42 AM
Subject: Re: COOP / SAT solvers
To: Karl Lieberherr <lieber at ccs.neu.edu>


Hi Karl,

I don't have any COOP openings but I likely
will have one or two permanent openings in
case you have some students soon to graduate.

I'm looking for candidates to work on constraint
solving: bdd variable ordering, sat, word-level
algorithms, Presburger arithmetic, etc.
Interesting stuff and vital to our simulation business.
The critical performance work in simulation these
days is constraint solving for random stimulus
generation.

A candidate would need to be pretty good at C++ too.
It could be a really nice job. An opportunity to have
a lot of visibility and work with people like Ken McMillan,
Andreas Kuelmann and Bob Kurshan.  If we got one
or more of students from your department it would
likely create a fruitful link between Northeastern
and Cadence.

If you have any questions please call or send
any resumes you might have.

many thanks,
John L. Pierce
Senior Architect
Cadence Design System, Inc.
603-878-4591
jlp at cadence.com