[FM-India] Postdoctoral position at West Virginia University

Madhavan Mukund madhavan at cmi.ac.in
Wed Dec 11 10:19:01 IST 2019

----- Forwarded message  -----

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
Lane Department of Computer Science and Electrical Engineering
West Virginia University
Morgantown, WV 26505

----- End forwarded message -----

More information about the FMIndia mailing list