Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Aarhus University
- Cornell University
- NEW YORK UNIVERSITY ABU DHABI
- University of Nevada Las Vegas
- Stanford University
- University of Kansas Medical Center
- University of Luxembourg
- Chalmers University of Technology
- University of Twente (UT)
- Aix-Marseille Université
- CNRS
- Durham University
- EPFL
- Institute of Biochemistry and Biophysics Polish Academy of Sciences
- International Iberian Nanotechnology Laboratory (INL)
- Jagiellonian University
- KTH Royal Institute of Technology
- KU LEUVEN
- Linköping University
- National Aeronautics and Space Administration (NASA)
- New York University
- Texas A&M University
- Umeå University
- University of Canterbury
- University of Colorado
- University of Florida
- University of Jyväskylä
- University of Manchester
- University of Michigan
- University of Minnesota
- University of Southern Denmark (SDU)
- University of Texas at Dallas
- University of Vienna
- University of Warsaw, Faculty of Biology
- Universität für Bodenkultur
- Warsaw University of Technology
- Łukasiewicz Research Network - Krakow Institute of Technology
- 27 more »
- « less
-
Field
-
will be part of the MAX formal computation team at LIX (the computer‑science laboratory of École Polytechnique) and will benefit from a standard work environment. Where to apply Website https
-
events, mentoring junior scholars, and supporting ongoing field-building efforts by Dr. boyd’s team. Requirements PhD in the social sciences, STS, history, or relevant field and have conducted significant
-
natural or formal sciences Very strong practical knowledge of qualitative and quantitative research methods Experience teaching one or more courses in one or more of the department's subject areas
-
methods, provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance. About us The Department of Computer Science and Engineering , a joint
-
Post-Doctoral Associate in the Center for Interdisciplinary Data Science and Artificial Intelligence
of reinforcement learning and bandit algorithms Mathematical and algorithmic perspectives on large language models Statistical learning theory and complexity analysis Automated theorem proving and formal methods
-
will combine modern AI/LLM-based code generation with formal methods to produce software that is both fast to create and provably trustworthy. The position is part of SAFIR (Secure AI for Intelligent
-
Post-Doctoral Associate in the Center for Interdisciplinary Data Science and Artificial Intelligence
Statistical learning theory and complexity analysis Automated theorem proving and formal methods Random matrix theory and its applications in modern AI systems Requirements: PhD in Mathematics, Computer Science
-
development activities at the intersection of Agentic AI, AI Security, Trustworthy AI, Software Engineering, and Cybersecurity. The group is developing novel methods, tools, and platforms to support the safe
-
and algorithmic perspectives on large language models Statistical learning theory and complexity analysis Automated theorem proving and formal methods Random matrix theory and its applications in modern
-
-based information systems using both quantitative and qualitative approaches. Investigating and applying AI as a research method in IS e.g., computationally intensive theory construction Prepare research