Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
faculty and researchers across disciplines. The successful candidate will contribute to one or more of the following components: Reinforcement Learning for Reasoning Formal Verification and Lean Automation
-
, formal verification and large-scale biomedical data. Cancer is a complex, multi-scale disease involving interacting processes across the molecular, cellular, tissue and organ levels. At the same time
-
: 2026-10-01 Where to apply Website https://academicpositions.com/ad/kth-royal-institute-of-technology/2026/postdoc… Requirements Research Field Computer science Years of Research Experience 4 - 10
-
Mathjobs.org | 25 days ago
and topological machine learning; AI-assisted theorem proving, formal verification, proof assistants, automated proof search, and AI-guided mathematical discovery; neural operators, physics-informed
-
and topological machine learning; AI-assisted theorem proving, formal verification, proof assistants, automated proof search, and AI-guided mathematical discovery; neural operators, physics-informed
-
collectively, and individually, make a real difference. The role We are looking to recruit a Senior Research Software Engineer for a new project on formal verification, seL4 security and AI-assisted theorem
-
Assistant Professor in Computer Science with Focus on Verification and Validation of Large-Scale Autonomous Systems Login and apply Lund University Lund University was founded in 1666 and is
-
vulnerability classifications and formal verification, enabling developers to reason about hardware and software vulnerability and weakness properties in a structured, mathematically rigorous way. The
-
least a doctoral degree; - have relevant scientific achievements; - take an active part in scientific life. Selection process The first stage of the competition procedure is the formal verification of
-
University of Amsterdam (UvA) | Amsterdam, Provincie Noord-Holland | Netherlands | about 2 months ago
26 Aug 2026 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Language sciences » Linguistics Researcher