[J3] ================================================ AMAST Links 01 01

       Post Doc / Research Scientist Position at Carnegie Mellon

My research group can support a research scientist to build a VHDL
based model checker. We intend to build the model checker from scratch
rather than compile into an existing system like SMV.  The candidate
should have significant knowledge about building compilers for
hardware description languages to work on the project.  He/she should
either already know about binary decision diagrams (BDDs) and temporal
logic or be able to learn quickly. The salary is good for a beginning
RS position (50k per year for two years and benefits).

If you are interested or know of someone who is, please contact

Edmund Clarke
Carnegie Mellon University
Pittsburgh, Pa. 15213 USA
Phone: +1-412-268-2628 or 412-571-0794
email: Edmund.Clarke@cs.cmu.edu