Post Doctoral Researcher, Computer Information Sciences, Verified Software Laboratory
About The Position
The Verified Software Laboratory at the University of Delaware seeks a Post Doctoral Researcher to join a project developing state-of-the-art verification techniques and tools for scientific software. The project is part of a program, sponsored by the U.S. Department of Energy and the U.S. National Science Foundation, named "Correctness for Scientific Computing Systems" (CS2). The postdoc will join a team consisting of researchers at the University of Delaware and Argonne National Laboratory. The project draws upon a variety of formal methods techniques, such as model checking, deductive verification, and symbolic execution. It aims to apply these techniques to production-level scientific libraries, such as PETSc and Flash-X.
Requirements
- Ph.D. or equivalent in Computer Science or related field
- Experience with formal methods research and tools, preferably demonstrated by publication(s) or a doctoral dissertation
- Solid software development skills, including programming (in any language), and use of collaboration, debugging, and testing tools
- A passion for developing robust, industrial-strength software tools that can be applied to real-world problems
Responsibilities
- Explore and evaluate the application of existing verification technologies to targeted software systems
- Conceive and develop new approaches for the verification of such software
- Design, implement, and test new verification tools, with appropriate documentation
- Train users on the effective use of the new tools
- Help advise graduate or undergraduate students involved in the project
- Work with other team members, write papers on the results of this research project; present these papers at leading conferences, such as CAV or TACAS
- Conduct independent research and manage individual research projects (20%)
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Full-time
Education Level
Ph.D. or professional degree
Number of Employees
1,001-5,000 employees
