Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- United Kingdom
- Canada
- Poland
- Denmark
- Norway
- Germany
- Netherlands
- Sweden
- Belgium
- Luxembourg
- Australia
- France
- Singapore
- Spain
- Switzerland
- Austria
- United Arab Emirates
- Italy
- Croatia
- Morocco
- Hungary
- Finland
- New Zealand
- Worldwide
- China
- Hong Kong
- Iceland
- India
- Ireland
- Slovenia
- South Africa
- 23 more »
- « less
-
Program
-
Employer
- University of Texas at Austin
- University of Maryland, Baltimore
- Aarhus University
- University of British Columbia
- University of Luxembourg
- University of Aveiro
- University of Arkansas
- Cornell University
- University of Oslo
- Central Oregon Community College
- University of Manchester
- University of Nebraska–Lincoln
- Dallas County Community College District
- University of Nevada Las Vegas
- Duke University
- The California State University
- The Ohio State University
- University of Michigan
- University of Kansas Medical Center
- University of Minnesota
- Villanova University
- American Career College
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- University of Texas Rio Grande Valley
- Harvard University
- Texas A&M AgriLife Extension
- Universidade de Coimbra
- University of Washington
- University of Texas at El Paso
- University of California
- University of Minho
- University of Sheffield
- University of Toronto
- University of Colorado
- University of Miami
- California State University, San Bernardino
- University of Glasgow
- University of Porto
- Universty of Aveiro
- Carnegie Mellon University
- Chalmers University of Technology
- Florida International University
- Kent State University
- Nanyang Technological University
- Oak Ridge National Laboratory
- Universidade Católica Portuguesa - Porto
- AGH University of Krakow
- California State University, Fullerton
- FEUP
- Instituto Superior de Engenharia do Porto
- NEW YORK UNIVERSITY ABU DHABI
- Oregon State University
- The University of Chicago
- UNIVERSIDADE DE ÉVORA
- University of Southern California
- University of Utah
- Cardinal Stefan Wyszynski University in Warsaw
- Indiana University
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Pennsylvania State University
- Rochester Institute of Technology
- St Jude Children's Research Hospital
- Texas A&M University
- University of Florida
- University of South-Eastern Norway
- University of Texas at Dallas
- ;
- Aalborg University
- Arkansas State University
- CNRS
- Durham University
- McGill University
- North Carolina State University
- Nova School of Business and Economics
- San Francisco State University
- Technical University of Munich
- University of Kansas
- Wayne State University
- Austin Community College District
- Birkbeck University of London
- Broward College
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- ETH Zürich
- European Space Agency
- Faculdade de Medicina da Universidade do Porto
- Faculty of Sciences of the University of Porto
- INESC ID
- Luxembourg Institute of Science and Technology
- Luxembourg Institute of Science and Technology (LIST)
- Monash University
- NTNU - Norwegian University of Science and Technology
- University of Birmingham
- University of Kentucky
- University of North Carolina at Chapel Hill
- University of Nottingham
- University of Oxford
- University of Twente (UT)
- University of Warwick
- University of the Incarnate Word
- Aarhus University (AU)
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Science
- Biology
- Education
- Mathematics
- Materials Science
- Business
- Linguistics
- Law
- Psychology
- Chemistry
- Social Sciences
- Arts and Literature
- Humanities
- Environment
- Electrical Engineering
- Philosophy
- Sports and Recreation
- Design
- Earth Sciences
- Statistics
- 14 more »
- « less
-
are looking for a motivated and talented PhD candidate to join a unique interdisciplinary project at the intersection of machine learning and formal methods. Information Machine learning models deployed in real
-
NIST only participates in the February and August reviews. Bugs Framework (BF)-Based Formal Methods Systems for Proof of HW & SW Correctness or Existence of Bugs/Faults The Bugs Framework (BF) [1
-
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications
-
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science , University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications
-
Job related to staff position within a Research Infrastructure? No Offer Description his research focuses on the application of formal methods and automated reasoning to ensure the reliability and
-
English English PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information Apply for this job See advertisement About the position We invite applications for a PhD
-
science, electrical engineering, embedded systems, or a related field. Strong candidates will have experience in one or more of the following areas: hardware security and fault injection attacks, formal methods and
-
Location: South Kensington Campus About the role: We are looking for motivated individuals to Join the Formal Methods in AI (FMAI) lab at Imperial College London, led by Dr. Francesco Belardinelli
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Post-doc on formal verification and algorithm discovery for numerical analysis About us and our
-
We are looking for motivated individuals to Join the Formal Methods in AI (FMAI) lab at Imperial College London, led by Dr. Francesco Belardinelli, in a fully funded postdoctoral research role