University of Delaware · 9 hours ago
Post Doctoral Researcher, Computer Information Sciences, Verified Software Laboratory
Newark, DE
Full-time
Onsite
Senior LevelThe University of Delaware is seeking a Post Doctoral Researcher to join the Verified Software Laboratory, focusing on developing verification techniques for scientific software. The role involves exploring existing verification technologies, developing new approaches, and collaborating with a research team to advance scientific computing systems.
Higher Education
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%)
Qualification
Required
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
Company
University of Delaware
The University of Delaware - a state assisted, privately chartered institution - is a Land Grant, Sea Grant, Space Grant and Carnegie Research University (very high research activity).
Founded in 1743
1001-5000 employees
H1B Sponsorship
University of Delaware has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (77)
2024 (64)
2023 (57)
2022 (32)
2021 (32)
2020 (37)
Funding
Current Stage
Late StageLeadership Team
Amanda Bullough (Workman) (she/her)
Co-Founder & Research Director, Women’s Leadership Initiative
Christopher Martens
Co-Founder & Director, Delaware Center for Cognitive Aging Research
Recent News
Renewable Energy Magazine, at the heart of clean energy journalism
2023-06-26
Company data provided by crunchbase