[Job-offers-cs] Postdoc position in constraint-based algorithmic testing

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] Postdoc position in constraint-based algorithmic testing
Date: Tue, 17 Dec 2019 16:39:50 +0000
From: Krishnamurthy Subramani <K.Subramani at mail.wvu.edu>
To: dmanet <dmanet at zpr.uni-koeln.de>


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 at 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