[DMANET] Postdoc position in constraint-based algorithmic 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 research and develop new algorithms to automatically generate inputs for use in software testing in a continuous
integration / continuous deployment (CI/CD) environments. Relevant technical areas include, but not limited to: game theory,
SAT/SMT, constraint systems, graph theory, and symbolic execution. Additional duties will include assisting the PI in writing
publications and developing research proposals.

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.
To apply for this position, visit www.jobs.wvu.edu Applicants must submit a cover letter, curriculum vitae, and contact information
for at least three professional references. 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. 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 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 athttp://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 Department has 30 tenure-track faculty members, 470 undergraduate students, 150 MS students, and 75 Ph.D. students. It offers
degrees in Computer Science, Computer Engineering, Electrical Engineering, 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).

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/
*
**********************************************************