The appointment is one year, with the possibility of renewal for a second year (up to two years total). Start date is May 1, 2026, or later (negotiable).

Context of Job: 

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.

Major 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%)

Qualifications: 

• 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