Human-computer interaction Northeastern University in United States

Postdoctoral Researcher position in Agentic AI at the University of Nevada, Reno , in the MAGI Lab (Methods for AI and Geometric Intelligence) . The role focuses on building trustworthy AI systems for complex scientific and engineering decision-making, with emphasis on agentic AI workflows , RAG , LLM document understanding , knowledge graphs , human-in-the-loop methods, and evaluation/trustworthiness . This is a funded postdoctoral opening supported by the GENESIS MISSION from the U.S. Departme...

PhD Student in AI research at the University of Utah , working with the SCI Institute on AI-ready scholarly discovery and research infrastructure. The project focuses on AI , data science , research software engineering , scholarly knowledge extraction, metadata engineering, search and retrieval, and human-centered discovery systems. The successful candidate will help extend and maintain the National Data Platform to support AI-enabled science workflows, including model identification, publicati...

Jonathan Zong at the University of Colorado Boulder is recruiting PhD students for the Data & Design Group for Fall 2027 . The search is especially focused on students interested in accessibility , visualization , and data ethics , with a particular emphasis on rethinking the foundations of accessible web interfaces. The post highlights a vision where non-visual interaction is treated as a first-class design concern rather than an afterthought. This is a research-oriented opening in computing an...

Scientific Computing and Imaging Institute (SCI) at the University of Utah is hiring for two related opportunities focused on AI model discovery, scholarly knowledge extraction, and research software engineering for the National Data Platform (NDP). Openings: a postdoctoral researcher and a PhD student / graduate research assistant in AI research. Research area: the project develops AI-ready and agentic infrastructure for discovering and analyzing AI models used in scientific research publicatio...

Cornell University’s Department of Mathematics is inviting applications for a Postdoctoral Associate focused on mathematics , auto-formalization , and proof assistants such as Lean . The position centers on developing and administering a benchmark for auto-formalization of mathematics, contributing to a benchmarking dataset, organizing and quality-checking contributed data, building tools to support data creation, and supporting the Math+AI laboratory. This is a research-oriented postdoctoral ro...