---------------------------------------------------------------------------
    [[[ We apologize if you receive multiple copies of this message ]]]
---------------------------------------------------------------------------

--------------------------------------------------------------
PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED.
--------------------------------------------------------------

One Ph.D. position in Model Checking and Program Analysis on the
research project

"A Static and Dynamic Verification Framework for Parallel Programming"

is available at Brigham Young University, Provo UT, USA, under the
supervision of, Eric Mercer, Brigham Young University, Provo UT.

This is funded position for the time of the degree supported by the NSF.

The research activity will be carried out jointly with Vivek Sarkar of
RICE University in conjunction with the Habanero project and Ganesh
Gopalakrishnan at the University of Utah.

Aim and Scope
=============
 
The research activity is to investigate and developing novel
techniques, methodologies and support tools for verification for task
parallel languages with a particular emphasis on model checking,
program analysis, and symbolic execution.  This work will be part of
the NSF funded research "A Static and Dynamic Verification Framework
for Parallel Programming".

Candidate Profile
=================

The ideal candidate should have a Bachelor or M.S. degree in computer
science or related discipline, theoretical background, and excellent
software development skills (in particular in Java).

Background knowledge in the following topics is preferred: Model
Checking, Program Analysis, Symoblic Execution, Satisfiability Modulo
Theory (SMT), and Automated Reasoning.

The candidate should be fluent in English.

The candidate must meet the admission requirements to the graduate program:
https://cs.byu.edu/graduate-policy-handbook-general-information

Terms and dates
===============

The position will start as soon as possible, 

Applications and Inquiries
==========================

Interest applicatents should email Eric Mercer (egm@cs.byu.edu) with a
brief statement of interest and attached vita.

---------------------------------------------------------------------------
   [[[ We apologize if you receive multiple copies of this message ]]]
---------------------------------------------------------------------------

--------------------------------------------------------------
PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED.
--------------------------------------------------------------

One funded Ph.D. position in Model Checking and Program Analysis on the research project 

"A Static and Dynamic Verification Framework for Parallel Programming"

is available at Brigham Young University, Provo UT, USA, under the
supervision of, Eric Mercer, Brigham Young University, Provo UT.

This is funded position for the time of the degree supported by the NSF.

The details of the call are available at 
http://faculty.cs.byu.edu/~egm/phd-advert.txt