Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Arkansas
- University of Texas at Austin
- Broward College
- Cornell University
- University of Nevada Las Vegas
- Oregon State University
- Florida International University
- Nature Careers
- University of Minnesota
- University of Texas Rio Grande Valley
- Arkansas State University
- California State University, San Bernardino
- Foothill-De Anza Community College District
- Texas A&M AgriLife Extension
- University of Aveiro
- Instituto Superior de Engenharia do Porto
- The California State University
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- The Ohio State University
- University of Kansas Medical Center
- University of Sheffield
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Eastern Washington University
- FEUP
- University of Glasgow
- University of Porto
- University of Warsaw
- University of Washington
- Faculdade de Ciências Médicas|NOVA Medical School da Universidade NOVA de Lisboa.
- Rutgers University
- San Francisco State University
- The University of Chicago
- University of Nebraska–Lincoln
- California State University, Fullerton
- Centro de Computação Grafica
- Eindhoven University of Technology (TU/e)
- Georgia State University
- Institute of agriculture and tourism
- Technical University of Denmark
- Universidade de Coimbra
- University of Michigan
- Washington State University
- AGH University of Krakow
- Duke University
- Ghent University
- Harvard University
- Instituto Politécnico de Bragança
- Jagiellonian University
- Military University of Technology - Wojskowa Akademia Techniczna
- Princeton University
- Purdue University
- University of California Agriculture and Natural Resources
- University of Houston
- University of Southern Denmark
- University of Utah
- Aarhus University
- Arkansas Tech University
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Auburn University
- California State University, Fresno
- California State University, Northridge
- Cardiff University
- Coast Community College District
- Dana-Farber Cancer Institute
- East Carolina University
- Faculty of Sciences of the University of Porto
- Gulbenkian Institute for Molecular Medicine
- Kent State University
- MORE – Laboratório Colaborativo Montanhas de Investigação – Associação
- New York University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Silesian University of Technology
- Stanford University
- Universidade da Madeira
- University of California Davis
- University of California, San Diego
- University of Gothenburg
- University of Illinois at Urbana Champaign
- University of Michigan - Ann Arbor
- University of South Carolina
- iBET - Instituto de Biologia Experimental e Tecnológica
- Adam Mickiewicz University, Poznań
- Boston University
- CNRS
- Carnegie Mellon University
- Cerritos College
- Commonwealth University of Pennsylvania
- Faculdade de Medicina da Universidade do Porto
- Faculty of Food Technology and Biotechnology, University of Zagreb
- Faculty of Science University of Zagreb
- Fairmont State University
- George Mason University
- Goethe-Universität Frankfurt am Main
- INESC MN
- Indiana University
- Institute of Security Technologies MORATEX
- Instituto de Telecomunicações
- La Trobe University
- Leibniz
- Lunds universitet
- 90 more »
- « less
-
Field
- Economics
- Computer Science
- Medical Sciences
- Engineering
- Science
- Education
- Biology
- Mathematics
- Law
- Business
- Materials Science
- Psychology
- Social Sciences
- Linguistics
- Chemistry
- Environment
- Arts and Literature
- Earth Sciences
- Humanities
- Sports and Recreation
- Electrical Engineering
- Philosophy
- Design
- 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
-
theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and
-
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
-
routine and standard processing of complex datasets, including electronic medical records (EMR) and bioimaging. Method Development & Implementation: Provide guided implementation of novel AI methods
-
of the principles and practices of mathematics and statistics, research and analysis techniques and methods, work-related subject area, and computers and software applications Ability to prepare, present, and review
-
, Comparative Politics, Formal Theory/Quantitative Methods, International Relations, and/or Political Theory, and accepts applications in advance in the event the occasion arises where such lecturers are needed
-
areas of demography from an international perspective and demonstrate excellence in formal demography and demographic methods. The Department of Demography (https://demografie.univie.ac.at
-
. Assists in maintenance of degree evaluation systems, check sheets, degree plans and additional methods used to assist students with the graduation process. Maintains Registrar’s Office section
-
of research and analysis techniques and methods Knowledge of work-related subject area Knowledge of computers and software applications Ability to prepare, present, and review oral and written information and
-
theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and