Research Associate Position in Program Design and Verification
Department of Computer Science
Michigan Technological University
Houghton MI 49931, USA
The Department of Computer Science at Michigan Technological University
has a one-year position for a research associate in Program Design and
Verification. Applicants should have a PhD in Computer Science with
expertise in at least two of the following areas: software design,
concurrency, software model checking and/or static program analysis.
A research background in one or more of the following areas is a plus:
programming languages, compilers, virtual machines and software testing.
Strong candidates in other related areas are also encouraged to apply.
Excellent English language skills and ability to work in a team are
required. Salary and benefits are commensurate with the credentials and
experiences
of the candidate.
Applications should include (1) a detailed curriculum vitae; (2) a list of
publications, and (3) the names of at least two references. Please email
all required documents in the .PDF format to [log in to unmask]
Women and minorities are especially encouraged to apply. While the
position is available immediately, the start and termination dates are
negotiable.
Applications and questions should be sent to Dr. Ali Ebnenasir.
E-Mail: [log in to unmask]
Phone: +1-906-487-4372
Review of applications will begin immediately and continue until the
position is filled.
Michigan Technological University is an Equal Opportunity Employer.
|