[Job-offers-cs] Postdoctoral position in constraint-based software testing

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] Postdoctoral position in constraint-based software testing
Date: Wed, 6 Nov 2019 18:00:29 +0000
From: K Subramani <K.Subramani at mail.wvu.edu>
To: dmanet at zpr.uni-koeln.de <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 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 . 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 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 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