Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- University of Hawai`i at Hilo
- Technical University of Munich (TUM)
- EPFL
- NEW YORK UNIVERSITY ABU DHABI
- UNIVERSITY OF SURREY
- University of Surrey
- Christopher Newport University
- INESC ID
- Indiana University
- Indiana University Bloomington
- New England HERC
- Technical University of Munich
- UCL Cancer Institute
- University of Amsterdam (UvA)
- Washington State University
- Aarhus University
- BI Norwegian Business School
- Chalmers University of Technology
- City St George's, University of London
- City University London
- George Mason University
- Graz University of Technology
- Imperial College London
- KTH Royal Institute of Technology
- Massachusetts Institute of Technology
- Mathjobs.org
- Michigan State University
- NIST
- NTNU Norwegian University of Science and Technology
- Northeastern University
- Poznan University of Technology
- Purdue University
- Queen's University Belfast
- Silesian University of Technology
- UHawai
- University of Bristol
- University of Cyprus
- University of Lund
- University of Newcastle
- University of North Georgia
- University of Oslo
- University of Southern Denmark
- University of Southern Denmark (SDU)
- University of Washington
- Uppsala universitet
- Virginia Community College
- 37 more »
- « less
-
Field
-
computer science, mathematics, or a related discipline. You should have a strong research background in at least one of programming language theory, logic, category theory, formal verification, or a
-
und Stellenangebote > Academic staff > PhD/Postdoc Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability Analysis Back to News Board Browse in News PhD
-
scientific knowledge. Where to apply Website https://www.ucl.ac.uk/work-at-ucl/search-ucl-jobs/details?nPostingId=19523&nPos… Requirements Research Field Computer science Education Level PhD or
-
University of Amsterdam (UvA) | Amsterdam, Provincie Noord-Holland | Netherlands | about 2 months ago
from traditional research fields ranging from AI, computer science, and mathematics to linguistics, cognitive science, and philosophy. The ILLC’s scientific mission is to study the formal properties
-
seeks to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek
-
computer science, cybersecurity, formal methods, software engineering, distributed systems, or a related field. Experience with runtime verification, access control, cloud-native systems, CI/CD pipelines
-
computer science, cybersecurity, formal methods, software engineering, distributed systems, or a related field. Experience with runtime verification, access control, cloud-native systems, CI/CD pipelines
-
nearing completion of) in computer science or a closely related field Background in programming languages, formal methods, or networking Research experience in one or more of: language design and
-
Surrey for a new project on formal verification, seL4 security and AI-assisted theorem proving, funded by the Advanced Research + Invention Agency (ARIA): https://agentic-sel4.github.io/ The project
-
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