Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- The University of Queensland
- University of New South Wales
- Nanyang Technological University
- University of Texas at Austin
- National Research Council Canada
- University of Sheffield
- European Space Agency
- Harvard University
- Johns Hopkins University
- Macquarie University
- University of Bergen
- University of Maryland, Baltimore
- University of Oslo
- University of Saskatchewan
- University of Sydney
- 5 more »
- « less
-
Field
-
PhD will also be considered. Essential Application Strong research expertise in at least one of the following areas: interactive theorem proving / formal verification; information-flow security
-
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
-
completing a PhD will also be considered. Essential Application Strong research expertise in at least one of the following areas: interactive theorem proving / formal verification; information-flow security
-
completed within the past five years, or close to completing, a PhD in aerospace engineering, computer science, artificial intelligence, systems engineering, software engineering or a related field, with a
-
collaborate with the Principal Investigator and research team. Job Requirements: PhD in Computer Science, Software Engineering, Artificial Intelligence or a closely related discipline. Strong research
-
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
-
new challenges and assignments. Education: The successful candidate will have completed a PhD in a relevant discipline such as hydrology, water resources, civil or agricultural engineering
-
should have obtained a PhD within the past five years (PhD received on or after September 30, 2022) or expect to complete their PhD within 6 months of appointment. * Exceptions may be considered
-
Qualifications PhD. required. Additional Qualifications Experience/interest in programming language, verification, artificial intelligence or machine learning. Individuals with a demonstrated track record in