Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- The University of Queensland
- University of New South Wales
- University of Cincinnati
- University of Texas at Austin
- Nanyang Technological University
- Johns Hopkins University
- National Research Council Canada
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- University of Sheffield
- University of Washington
- European Space Agency
- Harvard University
- Indiana University
- Macquarie University
- Universidade de Coimbra
- University of Bergen
- University of Maryland, Baltimore
- University of Oslo
- University of Saskatchewan
- University of Sydney
- Washington University in St. Louis
- 11 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
-
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
-
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
-
, 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
-
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
-
staff members promptly receive the accommodation they need to do their job and we understand the importance of work/life balance. NRC Herzberg is a leading developer of instrumentation for Canada’s
-
. Strong competence in programming with C/C++ or Fortran for model development & debugging. Competence in software engineering best practices such as unit testing, use of modern version control systems
-
Qualifications PhD. required. Additional Qualifications Experience/interest in programming language, verification, artificial intelligence or machine learning. Individuals with a demonstrated track record in
-
methods to large datasets using advanced statistical methods and software such as R, Stata, or SAS. Evidence of successfully seeking, obtaining, or managing external research funding. Experience engaging