Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Education
- Medical Sciences
- Business
- Biology
- Social Sciences
- Arts and Literature
- Design
- Engineering
- Psychology
- Environment
- Earth Sciences
- Chemistry
- Statistics
- Economics
- Sports and Recreation
- Physics
- Electrical Engineering
- Law
- Humanities
- Linguistics
- Materials Science
- Mathematics
- Philosophy
- Science
- 15 more »
- « less
-
construed. We seek exceptional theorists who will flourish in, and contribute to, the highly interactive and collaborative research environment at Stanford. LITP Fellows will have wide latitude to set their
-
variety of domains, including disinformation mitigation, collaborative decision-making, interactive data exploration, and optimization problems in uncertain environments such as stock portfolio
-
variety of domains, including disinformation mitigation, collaborative decision-making, interactive data exploration, and optimization problems in uncertain environments such as stock portfolio
-
and computer science backgrounds, ideally experience developing interactive and immersive systems. Project funding Other Funding reference https://www.monash.edu/it/nextgen/augmented-human-operations Learn more about minimum entry requirements .
-
have the ability to identify and pursue research problems independently while working well in an interactive and dynamic setting. Additional Qualifications Special Instructions Contact Information
-
the interactive process, planning reasonable accommodations for students with disabilities. at UNC Charlotte. This position is part administrative, advocate, and outreach, and requires a strong
-
the interactive process, planning reasonable accommodations for students with disabilities. at UNC Charlotte. This position is part administrative, advocate, and outreach, and requires a strong
-
seeks to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek
-
the interactive process, planning reasonable accommodations for students with disabilities. at UNC Charlotte. This position is part administrative, advocate, and outreach, and requires a strong
-
-assisted theorem proving, funded by the Advanced Research + Invention Agency (ARIA): https://agentic-sel4.github.io/ The project, joint with Andrei Popescu at the University of Sheffield and Toby