Postdoc / Research scientist position 
Author Message
 Postdoc / Research scientist position

Postdoc / 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 temp{*filter*}
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



Sun, 27 Apr 1997 03:06:30 GMT  
 Postdoc / Research scientist position
------- start of forwarded message -------

Newsgroups: comp.lang.vhdl,comp.specification
Subject: Postdoc / Research scientist position
Date: 8 Nov 1994 19:06:30 GMT
Organization: Carnegie-Mellon University, School of Computer Science
Lines: 18

NNTP-Posting-Host: g.gp.cs.cmu.edu

Postdoc / 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 temp{*filter*}
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

------- end of forwarded message -------



Sun, 27 Apr 1997 07:31:40 GMT  
 
 [ 3 post ] 

 Relevant Pages 

1. 2 POSTDOC POSITIONS: Research Associates - UNSW, Australia.

2. PhD/Postdoc research positions offered in Computational Logic

3. Senior Research Asst., Research Officer or Senior R.O. position

4. Postdoctoral Research Scientist (Opening)

5. Seeking Research Scientist with functional-programming skills

6. Research Scientist Vacancies

7. JOB: Senior Staff Research Scientist

8. Postdoc Position on Embedded Smalltalk or other dreams

9. PhD & postdoc positions at SCG, U Berne

10. Postdoc and PhD Student Positions at EPFL

11. postdoc position--program transformation

12. Postdoc positions at Chalmers

 

 
Powered by phpBB® Forum Software