Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- University of Arkansas
- Florida International University
- Universidade Católica Portuguesa - Porto
- Broward College
- Washington State University
- The California State University
- Colorado State University
- University of Cincinnati
- Texas A&M University
- Instituto Politécnico de Bragança
- University of Washington
- Oak Ridge National Laboratory
- University of New Mexico
- Virginia Community College
- Medical College of Wisconsin
- University of Maryland, Baltimore
- Texas A&M AgriLife Extension
- University of Saskatchewan
- California State University, San Bernardino
- George Washington University
- University of Silesia in Katowice
- Instituto de Telecomunicações
- Nature Careers
- ESS - Escola Superior de Saúde
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- University of Colorado
- University of Michigan
- University of Sheffield
- Warsaw University of Technology - Centre for Credible AI
- Aalborg University
- FESB, Split
- TTI
- Technical University of Munich
- The John Paul II Catholic University of Lublin
- University System of Georgia
- University of Kansas
- Bellevue College
- Harvard University
- Kennesaw State University
- Massachusetts Institute of Technology
- Pennsylvania State University
- Stony Brook University
- Télécom Paris
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- Universidade Católica Portuguesa - RIO
- University of North Carolina at Chapel Hill
- University of North Texas at Dallas
- University of San Diego
- Washington University in St. Louis
- Aarhus University
- Brown University
- CNRS
- European Space Agency
- Fayetteville State University
- IRIT, Université de Toulouse
- Instituto Português do Mar e da Atmosfera, I.P.
- Instituto Superior de Agronomia
- Johns Hopkins University
- Malopolska Centre of Biotechnology
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Technical University of Denmark
- Texas A&M University System
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of A Coruña
- University of California, San Francisco
- University of Cantabria
- University of Groningen
- University of Houston Central Campus
- University of Illinois at Urbana Champaign
- University of Nevada Las Vegas
- University of Oklahoma
- University of Vermont Medical Center
- Virginia Tech
- AGH University of Krakow
- AI4I
- Aalborg Universitet
- Arizona State University
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Austin Community College District
- BI Norwegian Business School
- Barry University
- Binghamton University
- Bowling Green State University
- Brookhaven National Laboratory
- Cal Poly Pomona
- California Institute of Technology
- California State University East Bay
- Canadian Association for Neuroscience
- Carnegie Mellon University
- Central Michigan University
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Dana-Farber Cancer Institute
- Delft University of Technology (TU Delft); today published
- Drexel University
- Embry-Riddle Aeronautical University
- Emory University
- FEUP
- FUNDACIÓN PÚBLICA GALEGA DE INVESTIGACIÓN BIOMÉDICA INIBIC
- Florida Atlantic University
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Science
- Business
- Materials Science
- Education
- Electrical Engineering
- Arts and Literature
- Biology
- Mathematics
- Philosophy
- Psychology
- Chemistry
- Humanities
- Law
- Social Sciences
- Linguistics
- Earth Sciences
- Environment
- Physics
- Sports and Recreation
- 13 more »
- « less
-
checking), quantum computing, and software analysis/verification. Have a degree in computer science, computer engineering, electrical engineering, or related areas. Possessing a Master degree will be
-
would be complete to describe all the desired characteristics of quantum computing while at the same time simple enough to be understood by most programmers. Formal Verification Framework. We plan
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
Computer Science, Engineering, Mathematics, or a related field with a focus on machine learning, security, or formal methods. Strong publication record in top-tier conferences or journals in AI security, adversarial
-
Details Title Postdoctoral Fellowship in Computer Science - Programming Languages and Artificial Intelligence School Harvard John A. Paulson School of Engineering and Applied Sciences Department
-
(Level B) PhD in computer science or a related discipline with focus on formal methods. Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving
-
degree or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. Experience in reachability analysis, formal verification/model checking, control theory, or related
-
for real online scenarios and to study formal verification methods. The program will involve the study of machine learning tools and the development of simulation systems capable of integrating multiple data
-
Formal applications are invited from qualified individuals for the Van Vliet Term Professorship in Agricultural Economics in the Department of Agricultural and Resource Economics at the University
-
jointly supervised by Dr Wenda Li (AI for Mathematics) and Dr Mai Luo (ML Systems), and will collaborate with team members based at the School of Informatics, University of Edinburgh, and the University