Post Doctoral Researcher, Computer Information Sciences, Verified Software at University of Delaware

Newark, Delaware, United States -

Full Time

Start Date

Immediate

Expiry Date

10 Jun, 26

Salary

0.0

Posted On

12 Mar, 26

Experience

0 year(s) or above

Remote Job

Yes

Telecommute

Yes

Sponsor Visa

Skills

Formal Methods, Model Checking, Deductive Verification, Symbolic Execution, Software Development, Programming, Testing Tools, Verification Techniques, Scientific Software, Research, Paper Writing, Debugging

Industry

Description

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

Responsibilities

The Post Doctoral Researcher will explore and develop new verification approaches and tools for scientific software, applying existing technologies to systems like PETSc and Flash-X. Responsibilities also include training users, advising students, conducting independent research, and publishing findings at leading conferences.