Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Business
- Education
- Medical Sciences
- Computer Science
- Psychology
- Engineering
- Social Sciences
- Biology
- Law
- Environment
- Arts and Literature
- Design
- Statistics
- Electrical Engineering
- Earth Sciences
- Sports and Recreation
- Economics
- Chemistry
- Mathematics
- Humanities
- Physics
- Science
- Linguistics
- Materials Science
- Philosophy
- 15 more »
- « less
-
, 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
-
, 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
-
University of Amsterdam (UvA) | Amsterdam, Provincie Noord-Holland | Netherlands | about 2 months ago
the University of Amsterdam is looking for an Assistant Professor to work on machine learning for formal reasoning and verification. This is what you will do The position of Assistant Professor
-
dynamic analysis. Particular emphasis will be placed on the development of temporal modelling concepts, knowledge graphs, and formal verification techniques, enabling the automatic synthesis of timed and
-
vulnerability classifications and formal verification, enabling developers to reason about hardware and software vulnerability and weakness properties in a structured, mathematically rigorous way. The
-
formal verification. About the research project We are looking for two Postdocs with a strong background in functional programming to join our dynamic environment. We have two rather flexible subprojects
-
, 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
-
by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in formal verification and programming language techniques
-
, 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
-
-assisted theorem proving, formal verification, proof assistants, automated proof search, and AI-guided mathematical discovery; neural operators, physics-informed learning, inverse problems, uncertainty