Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Texas at Austin
- University of Arkansas
- Florida International University
- Broward College
- Washington State University
- Virginia Community College
- Texas A&M AgriLife Extension
- University of New Mexico
- University of Washington
- The California State University
- AGH University of Krakow
- Instituto de Telecomunicações
- 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
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- University of California Davis
- University of Nevada Las Vegas
- Fayetteville State University
- Foothill-De Anza Community College District
- Nature Careers
- Northeastern University
- Technical University of Denmark
- Texas A&M University
- The University of Chicago
- Universidade do Porto – HR
- University of Houston
- University of Illinois at Urbana Champaign
- University of New South Wales
- University of Rijeka
- University of San Diego
- University of Utah
- Virginia Tech
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- Arizona State University
- Arkansas State University
- Bowling Green State University
- CNRS
- California State University East Bay
- Chalmers University of Technology
- Colorado State University
- Dana-Farber Cancer Institute
- ESS - Escola Superior de Saúde
- Ecole Nationale de l'Aviation Civile
- Faculty of Tourism and Hospitality Management
- Fondazione Bruno Kessler
- George Mason University
- Georgia State University
- Heriot Watt University
- ICFO - The Institute of Photonic Sciences
- Institute of Photonic Sciences
- Instituto Superior de Engenharia do Porto
- Johannes Kepler University
- Karolinska Institutet, doctoral positions
- Los Angeles Community College District
- Massachusetts Institute of Technology
- National Renewable Energy Laboratory NREL
- New York University
- OsloMet – Oslo Metropolitan University
- Rollins College
- TTI
- The Franciszek Górski Institute of Plant Physiology Polish Academy of Sciences
- The John Paul II Catholic University of Lublin
- The University of Arizona
- Universidade Católica Portuguesa - Porto
- Universidade Católica Portuguesa - RIO
- Universidade da Madeira
- University of California
- University of California, San Francisco
- University of Central Florida
- University of Central Missouri
- University of North Carolina at Chapel Hill
- University of Porto
- University of Sheffield
- University of Silesia in Katowice
- University of Southern Denmark
- University of Texas Rio Grande Valley
- University of Vermont Medical Center
- University of Virginia
- Villanova University
- Wojskowy Instytut Techniczny Uzbrojenia
- Wrocław University of Science and Technology
- 79 more »
- « less
-
Field
- Medical Sciences
- Economics
- Computer Science
- Business
- Engineering
- Science
- Education
- Mathematics
- Materials Science
- Law
- Philosophy
- Arts and Literature
- Psychology
- Electrical Engineering
- Biology
- Social Sciences
- Chemistry
- Humanities
- Environment
- Linguistics
- 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
-
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
-
, 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
-
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
-
the preparation, review, approval, and verification of Accounts Payable transactions. 1. Manages as accounts payable department, to include: training, evaluation, and staff development. 2. Identifies the long-term
-
the right to organize knowledge and skills testing for registered candidates who meet the formal requirements. Candidates will be informed about the place and time of the examination by e-mail to the address
-
. The Faculty reserves the right to organize knowledge and skills testing for registered candidates who meet the formal requirements. Candidates will be informed about the place and time of the examination by e
-
results reporting and verification. Participates in training and in-service programs to maintain and upgrade competency at the level required by the Supervisor as procedures are changed or added. EDUCATION