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
- Washington State University
- University of Washington
- University of Cincinnati
- Virginia Community College
- Broward College
- The California State University
- AGH University of Krakow
- Instituto de Telecomunicações
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Texas A&M AgriLife Extension
- University of New Mexico
- University of Silesia in Katowice
- Washington University in St. Louis
- California State University, San Bernardino
- George Washington University
- Kennesaw State University
- Colorado State University
- The John Paul II Catholic University of Lublin
- University of Saskatchewan
- Nature Careers
- University System of Georgia
- University of Nevada Las Vegas
- ESS - Escola Superior de Saúde
- FESB, Split
- Fayetteville State University
- INESC ID
- Instituto Superior de Agronomia
- Massachusetts Institute of Technology
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- TTI
- Technical University of Munich
- The University of Manchester
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- University of Utah
- Binghamton University
- European Space Agency
- Instituto Português do Mar e da Atmosfera, I.P.
- Instituto de Engenharia Mecânica
- Malopolska Centre of Biotechnology
- New York University
- University of Bergen
- University of California, San Francisco
- University of Illinois at Urbana Champaign
- University of Kansas
- University of North Carolina at Chapel Hill
- Virginia Tech
- AI4I
- ASSOCIACAO ISCTE CONHECIMENTO E INOVACAO - CENTRO DE VALORIZACAO E TRANSFERENCIA DE TECNOLOGIAS
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- Aalborg Universitet
- Aarhus University
- Arizona State University
- Arkansas State University
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- California State University East Bay
- Carnegie Mellon University
- DTx Colab
- Dana-Farber Cancer Institute
- East Carolina University
- Ecole Nationale de l'Aviation Civile
- Faculdade de Medicina Veterinária
- Fondazione Bruno Kessler
- George Mason University
- Hannover Medical School •
- Harvard University
- Helmholtz-Zentrum Dresden-Rossendorf
- Hirszfeld Institute of Immunology and Experimental Therapy Polish Academy of Sciences
- IMT Mines Ales
- Idiap Research Institute
- Indiana State University
- Instituto Politécnico de Bragança
- Instituto Superior de Engenharia do Porto
- Jagiellonian University
- Johannes Kepler University
- Karolinska Institutet, doctoral positions
- Lehigh University
- Maj Institute of Pharmacology Polish Academy of Sciences
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- New York University in Abu Dhabi
- Newcastle University
- Northeastern University
- Oak Ridge National Laboratory
- OsloMet – Oslo Metropolitan University
- Politecnico di Milano
- Poznan University of Technology
- REQUIMTE - Rede de Quimica e Tecnologia
- RMIT University
- RPTU University of Kaiserslautern-Landau •
- Rollins College
- South Dakota State University
- Texas A&M University
- The University of Chicago
- The University of Iowa
- The University of Manchester;
- UNIVERSIDADE DE ÉVORA
- 90 more »
- « less
-
Field
- Economics
- Medical Sciences
- Computer Science
- Engineering
- Science
- Business
- Education
- Materials Science
- Arts and Literature
- Mathematics
- Biology
- Law
- Psychology
- Electrical Engineering
- Philosophy
- Chemistry
- Environment
- Humanities
- Linguistics
- Earth Sciences
- Design
- Social Sciences
- Sports and Recreation
- 13 more »
- « less
-
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
-
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
-
systems. The FM Unit of Digital Industry Center is looking for a researcher in the field of formal methods. The successful candidate will work in one or more of the following topics: Formal verification
-
verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based automated reasoning tools such as ESBMC (https://github.com/esbmc/esbmc ) to address safety and reliability
-
will deliver traceable workflows, formal requirement templates and automatically generated verification artefacts suitable for use in medical-device safety certification. It aims to contribute
-
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
-
procedure is the formal verification of submitted documents. Applications that pass the formal verification are subject to substantive evaluation, during which a recruitment interview may be conducted
-
for the development of critical systems. However, there has not yet been a lot of effort in formalizing these languages, their semantics or their execution model. The goal of this research project is to
-
, and support grant proposals. The Postdoctoral Research Associate will be formally appointed in the area that best aligns with their career goals and educational background, based on the candidate’s
-
trainers with client transfers/guarding Other duties as assigned Professional Development: Seeks professional growth opportunities that enhance professional practice through both formal and informal