[DMANET] Postdoctoral position in constraint-based software testing

The Lane Department of Computer Science and Electrical Engineering in the Benjamin M. Statler College of Engineering and

Mineral Resources at West Virginia University invites applications for the position of Post-Doctoral Fellow in the area of

software testing. The incumbent will contribute to developing algorithms for constraint-based testing. The primary aim of this project is to

identify testing strategies which will expose security vulnerabilities in AFRL software. The incumbent will also assist the PI

in developing research proposals targeting AFRL.

Eligible candidates must hold an earned doctoral degree in Computer Science at the time of appointment. A strong background in
theoretical computer science and software engineering (particularly testing) is required. Familiarity with data-flow analysis and compiler design
are a bonus. The focus is on the development of rigorous techniques with provable guarantees. Accordingly, some familiarity with computational
complexity is expected.



Responsibilities will include but are not limited to the following: assisting the PI in conducting literature surveys in specialized fields
of constraint-based program testing, developing analytical models for program testing, implementing strategies for program testing
and studying the empirical performance on actual software. It is anticipated that the position will also include opportunities to contribute
to the teaching mission of the department.


West Virginia University is the comprehensive Land Grant University of the State of West Virginia with a main campus enrollment of over
29,000 students, and a Carnegie Classification of Highest Research Activity (i.e., R1 University). Morgantown is a safe, inclusive and family-friendly
community with a regional population of about 137,000 residents and is ranked among the most livable small cities in the country. It lies within a high
technology corridor that includes several federal research facilities, such as the NASA Katherine Johnson Independent Verification and Validation
Facility (IV&V), U.S. Department of Energy's National Energy Technology Laboratory (NETL), the National Institute of Occupational Safety and Health
(NIOSH), and the Federal Bureau of Investigation (FBI). The city is located within reasonable driving distances from Pittsburgh, PA and Washington, DC.
Additional details on the area and the university are available at http://www.morgantownwv.gov and http://www.wvu.edu.


The Statler College of WVU currently has eight academic departments with over 4,700 students and 135 faculty members. It is nationally recognized

for high quality teaching and research, as well as for the accomplishments of its faculty, students, and alumni. The Lane Depart­ment has 30

tenure-track fac­ulty members, 470 undergraduate students, 150 MS students, and 75 Ph.D. students. It offers degrees in Computer Science,

Computer Engineering, Electrical Engineer­ing, Biometric Systems, Cyber Security, and Software Engineering.

Morgantown is a safe, inclusive, and family-friendly community. WVU provides faculty members with a supportive environment for developing a visible and productive career (https://talentandculture.wvu.edu/new-employees) and a range of progressive policies to support work-life integration (https://faculty.wvu.edu/policies-and-procedures/work-life-integration). WVU also offers a Dual Career Program to assist partners in their career
transition and job search and belongs to the OH/Western PA/WV Higher Education Recruitment Consortium (https://www.hercjobs.org/oh-western-pa-wv).

To apply for this position, visit www.jobs.wvu.edu<http://www.jobs.wvu.edu> Applicants must submit a cover letter, curriculum vitae, and contact information for at least three
professional refer­ences. Only candidates who submit complete documentation will be considered in the review process. For further information,
please email Prof. K. Subramani at k.subramani@mail.wvu.edu<mailto:k.subramani@mail.wvu.edu>. The position is scheduled to start on January 1, 2020. The initial contract is for one year;
however, opportunities exist to extend the contract based on performance and the availability of funds.

West Virginia University is an Equal Opportunity/Affirmative Action Employer and the recipient of a NSF ADVANCE award for gender equity. The University values diversity among its faculty, staff and students, and invites applications from all qualified individuals, including minorities, females, individuals with disabilities, and veterans

------------------------------------------------
K. Subramani
Professor
Lane Department of Computer Science and Electrical Engineering
West Virginia University
Morgantown, WV 26505
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************