Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Arkansas
- Princeton
- Technical University of Denmark
- University of Texas at Austin
- University of California, Berkeley
- University of Nebraska–Lincoln
- California State University, San Bernardino
- University of Texas Rio Grande Valley
- University of Oslo
- University of Manchester
- University of North Carolina at Chapel Hill
- Cornell University
- NEW YORK UNIVERSITY ABU DHABI
- University of Kansas Medical Center
- Arkansas State University
- Indiana University
- The California State University
- University of Copenhagen
- Michigan State University
- Texas A&M AgriLife Extension
- University of Hawai`i at Hilo
- University of Michigan
- University of Twente (UT)
- Princeton University
- University of California, Los Angeles
- University of Glasgow
- Technical University of Munich
- University of Florida
- University of Gothenburg
- University of Lund
- University of Washington
- University of Worcester
- Broward College
- Chalmers University of Technology
- New England HERC
- OSU
- Technical University of Munich (TUM)
- The Ohio State University
- The University of Arizona
- University of Amsterdam (UvA)
- University of Maryland Eastern Shore
- University of Texas at Dallas
- Georgia State University
- Northeastern University
- San Francisco State University
- Texas A&M University
- Texas A&M University System
- UiT The Arctic University of Norway
- University of British Columbia
- University of California, San Diego
- University of California, Santa Cruz
- University of Sheffield
- University of South Carolina
- University of Utah
- California State University, Fresno
- California State University, Northridge
- Dakota State University
- Dalhousie University
- Delft University of Technology (TU Delft)
- EPFL
- FEUP
- Harvard University
- Instituto de Engenharia Mecânica
- Loyola University
- Mathjobs.org
- Nottingham Trent University
- SUNY University at Buffalo
- Singapore Management University
- Stanford University
- University of California San Francisco
- University of Nebraska Medical Center
- University of Newcastle
- Université catholique de Louvain
- higheredjobs
- Aalborg University
- City St George's, University of London
- City University London
- Coast Community College District
- Columbus State University
- Duke University
- East Carolina University
- Hanken School of Economics
- Hirszfeld Institute of Immunology and Experimental Therapy Polish Academy of Sciences
- INESC ID
- Indiana University Bloomington
- Iowa State University
- Ivy Tech Community College
- Jagiellonian University
- Lunds universitet
- McGill University
- Monash University
- National Renewable Energy Laboratory NREL
- Simons Foundation
- Technical University of Denmark (DTU)
- UCL Cancer Institute
- UNIVERSITY OF HELSINKI
- Universidade de Coimbra
- University of California
- University of California Davis
- University of Colorado
- 90 more »
- « less
-
Field
- Education
- Computer Science
- Social Sciences
- Business
- Engineering
- Medical Sciences
- Biology
- Environment
- Psychology
- Earth Sciences
- Chemistry
- Statistics
- Design
- Physics
- Law
- Humanities
- Materials Science
- Mathematics
- Electrical Engineering
- Arts and Literature
- Science
- Linguistics
- Economics
- Philosophy
- Sports and Recreation
- 15 more »
- « less
-
STFP Home sign in | focus RAP opportunity at National Institute of Standards and Technology NIST Bugs Framework (BF)-Based Formal Methods Systems for Proof of HW Location Information
-
methods and tools for the formal verification of cyber-physical systems are fully automatic, these methods are currently stuck in academia and are not yet used regularly in industrial development
-
Research Assistant/Associate in Formal Methods Requisition ID: 29519 Location: Newcastle, GB Contract Type: Fixed Term Working Pattern: Full Time Posted Date: 14 Aug 2026 Salary: Research
-
the theoretical and methodological aspects of the project. The role includes developing formal foundations, languages and methods for specifying and reasoning rigorously about the behaviour of software
-
excellent record of research and be able to contribute to undergraduate and graduate training in comparative politics. Candidates able to assist in graduate training in quantitative methods, formal
-
in programming languages, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and
-
mathematical background (e.g., linear algebra, optimization, formal methods, convex geometry). 2. Master’s or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field
-
outstanding candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and
-
, with its world leading groups in functional programming and formal methods, provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance
-
Boston, Cambridge, Massachusetts, MA, Northeast, New England Open field, American politics, International Relations, Quantitative Methods, Formal Theory