Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
individual research activities. The Academic Associates will be working and completing a PhD in one of the research areas including 1) Computational Intelligence 2) Interactive Systems 3) Pervasive
-
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
-
state-of-the-art AI models and computing infrastructure. About you We are interested in candidates with expertise in one or more of interactive theorem proving, formal verification, information-flow
-
-the-art facilities (see below). Successful candidates are expected to establish and sustain a vibrant research program; serve as dedicated teachers and mentors at both the undergraduate and graduate
-
games, interactive storytelling, game studies, interactive experience design, social media, graphics, game engines, computer game design, board game design, game programming, game production, audio
-
games, interactive storytelling, game studies, interactive experience design, social media, graphics, game engines, computer game design, board game design, game programming, game production, audio
-
. Successful candidates will demonstrate an understanding of the mission and value of an HBCU education, will be an enthusiastic and skillful educator committed to student-centered interactive instruction
-
Criticism; Cultural Identity and Heritage; Visual Art and Digital Humanities, Audio and Media Art (Animation / Film / Interactive); and Design Studies. Job Purpose: Nanyang Technological University (NTU
-
as possible. We have substantial funding for access to state-of-the-art AI models and computing infrastructure. About you We are interested in candidates with expertise in one or more of interactive
-
-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