Sort by
Refine Your Search
-
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
- Queen's University Belfast
- UNIVERSITY OF SURREY
- University of Maryland, Baltimore
- University of Oslo
- University of Sheffield;
- University of Surrey
- 2 more »
- « less
-
Field
-
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
-
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
-
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
-
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
-
processes, control systems, communication networks and cyberattacks. The Research Fellow will contribute to the development of mathematical and computational methods for safety verification, reachability
-
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
-
for Geophysics (UTIG) in The Jackson School of Geosciences invites applications for its Distinguished Postdoctoral Fellowship program. This competitive institutional fellowship is open to recent PhD recipients
-
Job Posting Title: Postdoctoral Fellow ---- Hiring Department: Department of Marine Science ---- Position Open To: All Applicants ---- Weekly Scheduled Hours: 40 ---- FLSA Status: Exempt from FLSA