Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- University of Maryland, Baltimore
- Aarhus University
- University of British Columbia
- University of Arkansas
- University of Oslo
- Central Oregon Community College
- University of Aveiro
- University of Luxembourg
- Cornell University
- Dallas County Community College District
- Duke University
- University of Nebraska–Lincoln
- The California State University
- University of Manchester
- Harvard University
- University of Nevada Las Vegas
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- University of Kansas Medical Center
- University of Michigan
- The Ohio State University
- University of Sheffield
- University of Texas Rio Grande Valley
- Universidade de Coimbra
- University of Minnesota
- American Career College
- Texas A&M AgriLife Extension
- Villanova University
- University of Colorado
- University of Miami
- University of Texas at El Paso
- California State University, San Bernardino
- University of California
- University of Washington
- Arkansas State University
- California State University, Fullerton
- Carnegie Mellon University
- Technical University of Munich
- University of Porto
- University of Southern California
- University of Toronto
- University of Twente (UT)
- Indiana University
- NEW YORK UNIVERSITY ABU DHABI
- Nanyang Technological University
- Oak Ridge National Laboratory
- University of Florida
- University of Glasgow
- Universty of Aveiro
- AGH University of Krakow
- Birkbeck University of London
- Chalmers University of Technology
- Kent State University
- NTNU - Norwegian University of Science and Technology
- Rochester Institute of Technology
- St Jude Children's Research Hospital
- Texas A&M University
- UNIVERSIDADE DE ÉVORA
- Universidade da Madeira
- University of Texas at Dallas
- University of Utah
- Broward College
- Faculty of Sciences of the University of Porto
- Florida International University
- Instituto Superior de Engenharia do Porto
- McGill University
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- North Carolina State University
- San Francisco State University
- The University of Chicago
- Universidade Católica Portuguesa - Porto
- University of California, Los Angeles
- University of North Carolina at Chapel Hill
- ;
- Aalborg University
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Cardinal Stefan Wyszynski University in Warsaw
- ETH Zürich
- Luxembourg Institute of Science and Technology
- Luxembourg Institute of Science and Technology (LIST)
- Monash University
- Northeastern University
- Pennsylvania State University
- Singapore Management University
- University of Birmingham
- University of Kansas
- University of Minho
- University of Nottingham
- University of Warwick
- University of the Incarnate Word
- Wayne State University
- Austin Community College District
- BI Norwegian Business School
- California State University, Northridge
- Central Michigan University
- Coast Community College District
- EPFL
- ETH Zurich
- East Carolina University
- European Space Agency
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Business
- Mathematics
- Materials Science
- Linguistics
- Psychology
- Chemistry
- Law
- Arts and Literature
- Social Sciences
- Humanities
- Environment
- Design
- Philosophy
- Earth Sciences
- Electrical Engineering
- Sports and Recreation
- Statistics
- 14 more »
- « less
-
proofs. Background in formal methods, automated reasoning, programming-language theory, proof engineering, functional programming, or a closely related area. Experience designing and operating agentic
-
theory, emphasizing the development and application of cutting-edge methods that enable and accelerate scientific discovery. Together, these communities are dedicated to training the next generation of
-
experience in one or more of the following areas: hybrid systems and/or discrete event systems; systems and control; reachability analysis and/or set-based methods; formal methods; optimisation and
-
, while contributing effectively to a collaborative research programme Essential Application/interview Ability to work effectively with researchers from different backgrounds, including formal methods
-
, SGLang, PyTorch internals, or similar) Interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar) or other formal methods Experience maintaining development tooling: build systems, continuous
-
existing methods to explain behaviour in a particular setting. In either case, the aim is to connect formal models with observable behaviour. Our group studies cooperation across multi-agent systems and AI
-
, while contributing effectively to a collaborative research programme Essential Application/interview Ability to work effectively with researchers from different backgrounds, including formal methods
-
areas taught or demonstrate prior training in instructional methodology and teaching skills from a formal teacher educational program or any comparable training program or formal in-house training program
-
: Certified unlearning with formal guarantees — developing methods with provable erasure bounds, connecting to differential privacy and statistical divergence frameworks Robustness to adversarial relearning
-
the program budget, including monthly projections and trend analysis. Manages all program logistics and operations, including program development. Oversees registration and advising processes. Maintains formal