[PRL] Research scientist position in Formal Methods

[Panagiotis Manolios]

Research scientist position in Formal Methods

Prof. Pete Manolios
Northeastern University
Boston, Massachusetts

Highly motivated applicants are being sought to work on the
automation of component-based systems: from a sea of available
components, which should be selected and how should they be
connected, integrated, and assembled so that system-level
requirements are satisfied?  We are exploring all aspects of this
problem, including:

- the development of model-based languages for describing systems,

- declarative specification languages for describing assembly
   constraints, and

- the use of decision procedures based on SAT, pseudo-boolean
   solving, SMT, and related technologies for solving various
   aspects of the system assembly problem.

Application areas include large-scale software systems,
aerospace systems, package management, and service science and
engineering.

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, writing grant
proposals, traveling, and giving presentations.

Candidate Profile:

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


This positions will remain open until filled. It is available
immediately and has an initial duration of 2-3 years.

Salary range: $60,000-$70,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