Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Texas at Austin
- Universidade Católica Portuguesa - Porto
- Nanyang Technological University
- University of Sheffield
- Fields Institute
- Instituto de Educação da Universidade de Lisboa
- The University of Queensland
- UNIVERSITY OF SURREY
- University of Maryland, Baltimore
- University of Oslo
- University of Sheffield;
- University of Surrey
- 2 more »
- « less
-
Field
-
Overview We are seeking an ambitious researcher to join a major new project funded by the Advanced Research and Invention Agency (ARIA), combining formal verification, cybersecurity and AI. The post
-
Are you interested in pushing the boundaries of formal verification, cybersecurity and AI? We are seeking an ambitious researcher to join a major new project funded by the Advanced Research and
-
Overview We are seeking an ambitious researcher to join a major new project funded by the Advanced Research and Invention Agency (ARIA), combining formal verification, cybersecurity and AI. The post
-
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-assisted theorem
-
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-assisted theorem
-
research in formal verification, machine learning and artificial intelligence system assurance. The successful candidate will develop new techniques and tools for analysing, verifying and improving
-
research in formal verification, machine learning and artificial intelligence system assurance. The successful candidate will develop new techniques and tools for analysing, verifying and improving
-
otherwise have access to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or action, including
-
(a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or action, including an investigation conducted by the employer, or (c) consistent with
-
employees or applicants to individuals who do not otherwise have access to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance