Post Doctoral Researcher, Computer Information Sciences, Verified Software Laboratory
Share
Job Location:
Newark, DE - USA
Monthly Salary:
Not Disclosed
Posted on:
17 hours ago
Vacancies:
1 Vacancy
Job Summary
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
Required Experience:
IC
Key Skills
- Intelligence Community Experience
- Python
- Spss
- Microsoft Word
- R
- Regression Analysis
- Windows
- Stata
- Microsoft Powerpoint
- Research Experience
- Data Modeling
- Writing Skills
About Company
The University of Delaware is a diverse institution of higher learning, fostering excellence in research. UD has eight colleges, providing outstanding undergraduate, graduate and professional education, serving the local, regional, national and international communities.
