Foundations, Tools, and Methodologies for High Assurance Software Development.
 

KSU is an equal opportunity employer and actively seeks diversity among its employees.

Research Associate (RA-29April2004)

This is a full-time position dedicated to the development of a robust translation framework to enable a wide range of architectural, designs and programming languages to be represented in a form that is amenable to state space analysis. This position will work closely with members of the Bandera, Cadena, and Bogor projects.

These project are housed in the CIS Department at Kansas State University in Manhattan, Kansas and are under the direction of Dr. Matthew B. Dwyer and Dr. John Hatcliff.

The succesful applicant will have the following qualifications:

Ideally, the applicant will also have some familiarity with static program analysis, e.g., program flow analysis and/or model checking.

The position is a 12 month appointment (renewable based on available funding) reporting to the directors of the Bandera project with salary in the $45,000 to $55,000 per-year range.

Specific job responsibilities include:

  1. Lead designer and implementor of parameterized translation framework. Responsibilities include:
    • Understanding the requirements of the variety of translation problems that arise in our problem domain
    • Proposing and presenting to the research group candidate solutions
    • Serving as lead-implementor of the framework
    • Producing documentation on the design and its interfaces
  2. Oversight of a small programming and testing team
    • planning and scheduling, daily management of undergrad programmers, and reporting to project directors
  3. Contributing designer and implementor of Java intermediate representation framework.

Applications (in either electronic or paper form) should include a current resume and a one page description of how your experience matches the qualifications for this position. Screening of applicants will begin on May 13, 2004 and continue until the position is filled. To insure full consideration of your application it should be received by May 10, 2004.

You can direct your application to: