Sort by
Refine Your Search
-
; mentor students; help maintain verification toolchains and experimental benchmarks; collaborate with sponsors and project partners. Research on formal verification methods for human detection and
-
computational methods. Core Responsibilities Support research on the impact of AI on scientific innovation Analyze large-scale datasets (e.g., publications, software, and scientific artifacts) Develop and apply
-
students work across areas to investigate and solve real-world problems. The Print & Probability project seeks a Postdoctoral Research Associate to develop AI methods for identifying printers of anonymous
-
Details Posted: Unknown Location: Salary: Summary: Summary here. Details Posted: 10-Apr-26 Location: Pittsburgh, PA Categories: Academic/Faculty Internal Number: 184586 The Software and Societal
-
computational methods. Core Responsibilities Support research on the impact of AI on scientific innovation Analyze large-scale datasets (e.g., publications, software, and scientific artifacts) Develop and apply
-
, Pennsylvania 15237, United States of America [map ] Subject Areas: Mathematics; Formal Methods; AI Appl Deadline: (posted 2026/01/15 05:00 AM UnitedKingdomTime, listed until 2026/07/16 04:59 AM UnitedKingdomTime
-
you for our team, where you’ll collaborate to deliver high-quality results in the emerging area of AI security. The CERT Division of the Software Engineering Institute (SEI) is seeking applicants
-
you for our team, where you’ll collaborate to deliver high-quality results in the emerging area of AI security. The CERT Division of the Software Engineering Institute (SEI) is seeking applicants
-
you for our team, where you’ll collaborate to deliver high-quality results in the emerging area of AI security. The CERT Division of the Software Engineering Institute (SEI) is seeking applicants
-
university’s creative, dedicated and close-knit community. We place emphasis on practical problem solving, interdisciplinary learning, a transformative spirit, and collaboration. The Software and Societal