Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- The University of Queensland
- Nanyang Technological University
- University of Cincinnati
- University of New South Wales
- University of Texas at Austin
- Johns Hopkins University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- University of Washington
- European Space Agency
- Harvard University
- Hong Kong Polytechnic University
- Indiana University
- Macquarie University
- University of Bergen
- University of Maryland, Baltimore
- University of Oslo
- University of Saskatchewan
- University of Sheffield
- Washington University in St. Louis
- 9 more »
- « less
-
Field
-
Computer Science, Artificial Intelligence, Software Engineering, Robotics or a related discipline or an equivalent qualification and must have no more than five years of post-qualification experience
-
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
-
. 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
-
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
-
Qualifications PhD. required. Additional Qualifications Experience/interest in programming language, verification, artificial intelligence or machine learning. Individuals with a demonstrated track record in
-
an independent research profile. Key responsibilities will include: Research: Produce high-quality research outputs including peer-reviewed publications, conference presentations, software tools, and competitive
-
complex dynamic environments. Robot platform and sensor system hardware and software integration. Algorithms and systems verification and validation. Report writing and presentations. Job Requirements