Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Education
- Computer Science
- Social Sciences
- Business
- Engineering
- Medical Sciences
- Biology
- Environment
- Psychology
- Earth Sciences
- Statistics
- Chemistry
- Design
- Physics
- Humanities
- Law
- Mathematics
- Materials Science
- Electrical Engineering
- Arts and Literature
- Science
- Linguistics
- Economics
- Sports and Recreation
- Philosophy
- 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