Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
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
-
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
-
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
-
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