Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- University of Oslo
- Nanyang Technological University
- National University of Singapore
- The University of Queensland
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Zintellect
- Harvard University
- University of Texas at Austin
- University of New South Wales
- University of Texas Rio Grande Valley
- Monash University
- University of Birmingham
- University of British Columbia
- King's College London
- Universidade do Minho
- University of Minho
- Center for Drug Evaluation and Research (CDER)
- Indiana University
- Naturalis
- Northeastern University
- University of Bergen
- University of Michigan
- Politécnico de Leiria
- University of Nottingham
- University of Sydney
- University of Washington
- Center for Devices and Radiological Health (CDRH)
- Centro de Engenharia Biológica da Universidade do Minho
- Johns Hopkins University
- Loyola University
- Macquarie University
- QUEENS UNIVERSITY BELFAST
- Universidade Católica Portuguesa - Porto
- University of Algarve
- University of Arkansas
- University of California
- University of Cincinnati
- University of North Carolina at Charlotte
- University of Stavanger
- City of Hope
- Dana-Farber Cancer Institute (DFCI)
- European Space Agency
- Florida International University
- Hong Kong Polytechnic University
- La Trobe University
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- Queen's University Belfast
- Queen's University Belfast;
- Trinity College Dublin
- UNIVERSITY OF SOUTHAMPTON
- University of Colorado
- University of London
- Villanova University
- ;
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- Aarhus University
- CECS-Communication and Society Research Centre
- CRANFIELD UNIVERSITY
- Carnegie Mellon University
- Curtin University
- Dalhousie University
- Faculdade de Ciências da Universidade de Lisboa
- Lawrence Berkeley National Laboratory
- Missouri University of Science and Technology
- National Research Council Canada
- RMIT University
- Simons Foundation;
- Singapore University of Technology & Design
- Tampere University
- The Ohio State University
- The University of Alabama
- UCL;
- UNIVERSITY OF MELBOURNE
- UNIVERSITY OF SURREY
- UNIVERSITY OF SYDNEY
- University of Alabama, Tuscaloosa
- University of Idaho
- University of Leeds
- University of Liverpool
- University of Maryland, Baltimore
- University of Michigan - Ann Arbor
- University of Otago
- University of Sheffield
- University of South-Eastern Norway
- University of Southampton;
- University of Surrey
- University of Sussex;
- University of Waterloo
- Washington University in St. Louis
- Wayne State University
- Western Norway University of Applied Sciences
- AALTO UNIVERSITY
- Brunel University
- CCMAR – Centro de Ciências do Mar do Algarve
- Centro de Investigação em Psicologia (CIPsi)
- Chapman University
- Columbus State University
- Corify Care
- Coventry University Group;
- Duke University
- 90 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
-
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
-
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
-
Flatiron Software Research Fellows are expected to develop or substantially contribute to innovative astronomical software projects that enable new or foundational science programs that can be
-
of robust and efficient software to contribute to our experimental work in automated cars. About the Role The successful candidate will contribute to the delivery of high-quality research in automated vehicle
-
background in formal verification, neural network verification, software testing or machine learning robustness. Proven research track record with publications in reputable conferences or journals. Ability
-
the correctness, robustness and reliability of deep neural networks and AI-enabled software systems. Job Responsibilities: Develop novel methods and algorithms for the verification, testing and robustness analysis
-
• Possess a PhD in Computer Science, Software Engineering, Information Systems, or a related field. • Strong full-stack development skills (e.g., Node.js, React/Vue, Python backend frameworks