Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Aarhus University
- Cornell University
- NEW YORK UNIVERSITY ABU DHABI
- University of Nevada Las Vegas
- CNRS
- Stanford University
- University of Kansas Medical Center
- University of Luxembourg
- Chalmers University of Technology
- University of Twente (UT)
- Aarhus University (AU)
- Aix-Marseille Université
- Durham University
- 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 Minho
- University of Southern Denmark (SDU)
- University of Texas at Dallas
- University of Vienna
- Universität für Bodenkultur
- Warsaw University of Technology
- Łukasiewicz Research Network - Krakow Institute of Technology
- 26 more »
- « less
-
Field
-
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
-
studies. The position depends little on the volume of collected data: its validation relies on formal analysis, ablations and targeted studies. Where to apply Website https://emploi.cnrs.fr/Offres/CDD
-
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
-
are contingent upon formal conferral of the Ph.D. Preferred Education and Experience PhD in Chemistry or a related field Written and oral communication skills with a proven record of scientific accomplishment We