[PRL] Postdoc position in Formal Methods

[Panagiotis Manolios]

Postdoc position in Formal Methods

Prof. Pete Manolios
Northeastern University
Boston, Massachusetts

Highly motivated applicants are being sought to work on
developing decision procedures that operate directly on Register
Transfer Level designs. The decision procedures envisioned are
based on improvements to bit-level reasoning and will provide
significant advances over state-of-the-art tools by exploiting
the power of theorem proving, in a fully automatic way.

The theorem proving system under consideration is ACL2s. See
http://www.ccs.neu.edu/home/pete/acl2s/index.html.  We are
interested in decision procedures for languages that include
bit-vectors and arrays. A first step in this direction is the BAT
system; see http://www.ccs.neu.edu/home/pete/bat/index.html.

We are working with several industrial partners and government
agencies on these projects.

The position involves conducting basic research, developing
tools, working as part of a research team, traveling, and
giving presentations.

Candidate Profile:

- PhD in Computer Science or a closely related field.
- Expertise in Formal Methods and Verification technology.
- Experience with ACL2 and SAT-based decision procedures.
- Strong formal background in logic and discrete math.
- Very strong programming skills.
- Very strong communication and presentation skills.
- An established research record.

This position will remain open until filled. It is available
immediately and has a duration of 2-3 years.

Salary range: $55,000-$65,000 year.

Application procedure:

Send a cover letter, CV, research statement, and copies of up to
three of your strongest publications. Also, 3 letters of
recommendation must be submitted directly by your
references. Please arrange for all of the above to be send via
email and in pdf format to both rachelb at ccs.neu.edu and  
pete at ccs.neu.edu.

If you have any questions, please contact Pete Manolios
http://www.ccs.neu.edu/home/pete