Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- University of Arkansas
- Florida International University
- Broward College
- Universidade Católica Portuguesa - Porto
- Washington State University
- Virginia Community College
- AGH University of Krakow
- The California State University
- University of New Mexico
- University of Washington
- Instituto de Telecomunicações
- Texas A&M AgriLife Extension
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- South Dakota State University
- Washington University in St. Louis
- Kennesaw State University
- California State University, San Bernardino
- University System of Georgia
- University of Saskatchewan
- George Washington University
- University of Cincinnati
- Binghamton University
- FESB, Split
- INESC ID
- Nature Careers
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- University of California Davis
- University of Nevada Las Vegas
- University of Silesia in Katowice
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- Fayetteville State University
- Foothill-De Anza Community College District
- Instituto Superior de Agronomia
- Instituto de Engenharia Mecânica
- Northeastern University
- Technical University of Munich
- Texas A&M University
- The University of Chicago
- The University of Manchester
- Universidade do Porto – HR
- University of Houston
- University of Illinois at Urbana Champaign
- University of Kansas
- University of Minho
- University of New South Wales
- University of Oslo
- University of San Diego
- University of Utah
- Uppsala universitet
- Virginia Tech
- AI4I
- ASSOCIACAO ISCTE CONHECIMENTO E INOVACAO - CENTRO DE VALORIZACAO E TRANSFERENCIA DE TECNOLOGIAS
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- Aalborg Universitet
- Alpen-Adria-Universität Klagenfurt
- Arizona State University
- Arkansas State University
- Bowling Green State University
- CNRS
- California State University East Bay
- Carnegie Mellon University
- Centro Nacional de Investigaciones Cardiovasculares Carlos III F.S.P.
- Chalmers University of Technology
- Colorado State University
- DTx Colab
- Dana-Farber Cancer Institute
- ESS - Escola Superior de Saúde
- Ecole Nationale de l'Aviation Civile
- Faculdade de Medicina Veterinária
- Faculty of Tourism and Hospitality Management
- Fondazione Bruno Kessler
- George Mason University
- Georgia State University
- Hannover Medical School •
- Helmholtz-Zentrum Dresden-Rossendorf
- Heriot Watt University
- Hong Kong Polytechnic University
- ICFO - The Institute of Photonic Sciences
- IMT Mines Ales
- ISCTE - Instituto Universitário de Lisboa
- Idiap Research Institute
- Institute of Photonic Sciences
- Instituto Superior de Engenharia do Porto
- Jagiellonian University
- Japan Advanced Institute of Science and Technology
- Johannes Kepler University
- Karolinska Institutet, doctoral positions
- Lehigh University
- Los Angeles Community College District
- Maj Institute of Pharmacology Polish Academy of Sciences
- Massachusetts Institute of Technology
- NTNU Norwegian University of Science and Technology
- National Renewable Energy Laboratory NREL
- New York University
- New York University in Abu Dhabi
- Newcastle University
- Norwegian University of Life Sciences (NMBU)
- Oak Ridge National Laboratory
- OsloMet – Oslo Metropolitan University
- 90 more »
- « less
-
Field
- Medical Sciences
- Economics
- Computer Science
- Business
- Engineering
- Science
- Education
- Mathematics
- Materials Science
- Arts and Literature
- Law
- Psychology
- Biology
- Philosophy
- Electrical Engineering
- Social Sciences
- Chemistry
- Environment
- Linguistics
- Humanities
- Design
- Earth Sciences
- Sports and Recreation
- 13 more »
- « less
-
of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols
-
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
-
the research project “Formal Methods and Verification Tools for Next-generation Automotive System Platforms” supported by CREST, Japan Science and Technology Agency. https://www.jaist.ac.jp/project/crest_fmap/en
-
Posting Title Undergraduate/Graduate (Summer) Intern - Formal Verification Methods for Cybersecurity . Location CO - Golden . Position Type Intern (Fixed Term) . Hours Per Week 40 . Working at NLR
-
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
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in formal verification and programming
-
creation, verification, and publication, including formal certification of results Contributing to the scientific activities of the department, e.g. seminars, workshops, reading groups and schools organized
-
, supporting both scientific output and infrastructure development. Main responsibilities include: Design and execution of cloning workflows, from construct design through verification and expression testing. In
-
will deliver traceable workflows, formal requirement templates and automatically generated verification artefacts suitable for use in medical-device safety certification. It aims to contribute
-
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