Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- The University of Queensland
- University of New South Wales
- Nanyang Technological University
- University of Cincinnati
- University of Texas at Austin
- National Research Council Canada
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- University of Sheffield
- University of Washington
- European Space Agency
- George Mason University
- Harvard University
- Indiana University
- Queen's University Belfast;
- Universidade de Coimbra
- University of Maryland, Baltimore
- University of Oslo
- University of Saskatchewan
- University of Sydney
- 9 more »
- « less
-
Field
-
), API and data interface development, and integration of software components and simulation platforms. Experience with system testing, verification and validation, software version control, and
-
responsible for developing and executing a NASA space-based mission through coordinated work across science, payload, spacecraft bus, software, systems engineering, integration and test, mission assurance, 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
-
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
-
intelligence can support the development and use of computer algebra systems, including mathematical programming, software verification and testing, documentation, and new ways for researchers to interact with
-
, validation challenges and applicability to safety-critical systems; experience in the development, verification or validation of software-intensive or autonomous systems, preferably in safety-critical domains
-
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
-
processes, control systems, communication networks and cyberattacks. The Research Fellow will contribute to the development of mathematical and computational methods for safety verification, reachability
-
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
-
in software development. Proven background in well engineering, with understanding of drilling data processing, drillstring & BHA dynamics, bit-rock interactions, geomechanics, drilling hydraulics