Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
-
Field
-
, software components, data interfaces, and simulation platforms into functional prototypes, as well as supporting system testing, verification, and validation in realistic ATM environments, contributing
-
algorithms of robot in complex dynamic environments. Robot platform and sensor system hardware and software integration. Algorithms and systems verification and validation. Report writing and
-
artificial 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
-
knowledge representation Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering and software technology
-
Landolt Mission team is responsible for developing and executing a NASA space-based mission through coordinated work across science, payload, spacecraft bus, software, systems engineering, integration and
-
between physical processes, control systems, communication networks and cyberattacks. The Research Fellow will contribute to the development of mathematical and computational methods for safety verification
-
Associates to lead methodological innovation, software architecture engineering, and scientific execution across its active grant portfolio. Working under the direct mentorship of Dr. Hongfang Liu and lab
-
categories View less categories Discipline Applied Science , Biomedicine , Health Science Job Type Postdoctoral Employment - Hours Full time Duration Fixed term Qualification PhD Sector Academia Apply on