Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
, 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
-
8 Sep 2026 Job Information Organisation/Company Graz University of Technology Department Institute of Software Engineering and Artificial Intelligence Research Field Computer science Researcher
-
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
-
, and individually, make a real difference. The role We are looking to recruit two Senior Research Associates at the University of Surrey for a new project on formal verification, seL4 security and AI
-
postdocs positions in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center for Basic Research in Program
-
experience and qualifications reflecting a record of demonstrated teaching and scholarly excellence. We will consider candidates across all areas of computer science, whose research connects to the
-
» Computer engineering Engineering » Control engineering Computer science Mathematics Researcher Profile First Stage Researcher (R1) Positions PhD Positions Application Deadline 16 Oct 2026 - 05:00
-
-assisted theorem proving, formal verification, proof assistants, automated proof search, and AI-guided mathematical discovery; neural operators, physics-informed learning, inverse problems, uncertainty
-
-assisted theorem proving, formal verification, proof assistants, automated proof search, and AI-guided mathematical discovery; neural operators, physics-informed learning, inverse problems, uncertainty
-
fellow academics in other disciplines Qualifications Research Assistant Honours degree in Computer Science, Mathematics or a related area In addition for Research Associate PhD in Computer