Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Washington
- Washington University in St. Louis
- George Washington University
- Massachusetts Institute of Technology
- Oak Ridge National Laboratory
- Texas A&M University
- Washington State University
- Binghamton University
- Kennesaw State University
- University of Florida
- Princeton University
- Technical University of Munich
- Texas A&M AgriLife
- University of Kansas
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Instituto Politécnico de Bragança
- National Renewable Energy Laboratory NREL
- Universidade Católica Portuguesa - Porto
- University of Arkansas
- Aalborg University
- California State University, Northridge
- Emory University
- Inria, the French national research institute for the digital sciences
- Lulea University of Technology
- Luleå tekniska universitet
- MASARYK UNIVERSITY
- Texas A&m Engineering
- University of Luxembourg
- Yale University
- AI4I
- Aalborg Universitet
- Aarhus University
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Boise State University
- CNRS
- Cornell University
- IMT MINES ALES
- IMT Mines Ales
- Idiap Research Institute
- Indiana University
- Institut de Físiques d'Altes Energies (IFAE)
- Jagiellonian University
- La Rochelle Université
- Lehigh University
- Lodz University of Technology
- Maj Institute of Pharmacology Polish Academy of Sciences
- Nantes Université
- Poznan University of Technology
- SUNY University at Buffalo
- San Diego State University
- TTI
- The California State University
- The John Paul II Catholic University of Lublin
- The University of Iowa
- Umeå universitet stipendiemodul
- University of Minnesota
- University of New South Wales
- University of North Carolina at Chapel Hill
- University of Reading
- University of Reading;
- University of Silesia in Katowice
- University of Texas at Austin
- Uppsala universitet
- Warsaw University of Technology - Centre for Credible AI
- Wroclaw University of Science and Technology
- Wrocław University of Science and Technology
- 56 more »
- « less
-
Field
-
of Hardware verification, we aim to develop a neuro-symbolic AI platform to convert informal digital design specifications into formally checkable verification artifacts, with logical rigor, traceability, and
-
Description The Postdoctoral Research Associate will examine the epigenetic regulation of the paternal genome and subsequent role in embryo development in the Luense Lab (https://animalscience.tamu.edu/people
-
sequences, verification, and logical aspects of verification. - Research within the Automata and Applications group - Participation in research seminars and group discussions - Participation in meetings
-
at https://engineering.lehigh.edu/faculty/gabrielle-string and Dr. McAndrew’s lab profile at https://compuncertlab.org/ Other responsibilities may include: Design, execute, and analyze experiments
-
WashU in St. Louis can be found at https://postdoc.wustl.edu/prospective-postdocs-2/ . Trains under the supervision of a faculty mentor including (but not limited to): Assists with grant preparation and
-
are strongly encouraged to apply. Job Description Primary Duties & Responsibilities: Information on being a postdoc at WashU in St. Louis can be found at https://postdoc.wustl.edu/prospective-postdocs-2
-
uncertain environment (essentially for the purposes of assisting understanding, verification and validation) of the uncertain environment in which the SAACD Component or the SAACD SoS evolves; (For P2) "AI as
-
AutoBorder – https://cordis.europa.eu/project/id/101225829 – funded under the EC Civil security for society workprogramme (border security and external security). A key aim of AutoBorder is to build and
-
can be found at https://postdoc.wustl.edu/prospective-postdocs-2/ . For more information on the Sibley Lab, please visit https://sites.wustl.edu/sibleylab . Trains under the supervision of a faculty
-
project AutoBorder – https://cordis.europa.eu/project/id/101225829 – funded under the EC Civil security for society workprogramme (border security and external security). A key aim of AutoBorder is to