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
- UNIVERSITY OF SURREY
- University of Maryland, Baltimore
- University of Oslo
- University of Sheffield;
- University of Surrey
- 1 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
-
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
-
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
-
ambitious researcher to publish high-impact science, develop highly sought-after expertise in complex subsurface fluid transport, and collaborate directly with leading industry researchers. We provide a
-
transfer. Perform mesh-convergence, sensitivity, uncertainty, and model-verification analyses. Compare computational predictions with phantom, preclinical, and other experimental measurements. Analyze