Autonomy Researcher
Autonomy Researcher
Employer Active
Job Alert
You will be updated with latest job alerts via email
Share
Job Alert
You will be updated with latest job alerts via email
Not Disclosed
Salary Not Disclosed
1 Vacancy
Job Description
UDRI is a national leader in scientific and engineering research serving government industry and nonprofit customers. UDRI contributes to the fulfillment of the Universitys commitments to education research and public service through the involvement of students faculty and external partners. Join our team today as an Autonomy Researcher!
Verification of autonomy is known to be a hard problem. Autonomous systems include complex decisionmaking mechanisms that are likely to be sensitive to changing mission conditions resulting in a state space explosion of possible system behaviors that traditional testbased approaches cannot adequately cover. To address this problem formal methods i.e. mathematicallybased tools and techniques for design specification and verification can supplement testing by providing evidence of system correctness through proof and analysis. Formal methods in conjunction with existing best practices for system and software development can also be used to make autonomy software more robust and reliable by checking for general properties such as absence of runtime errors memory leaks access to undefined memory locations etc.
Using OpenUxAS an autonomy framework developed by AFRL one of our goals is to make it easier for our collaborators e.g. academic or industrial partners who are using it as a platform to build or test autonomous or humanautomation systems to use OpenUxAS in their own work. However our larger goal is to use OpenUxAS as a case study and demonstration of best practices for software development documentation and verification using formal methods alongside more traditional approaches. To date we have been working to formalize requirements and verify individual services in UxAS (Aiello et al. 2019 which we plan to continue. We are also working to restructure UxAS to better enable traditional approaches like unit testing. We are also working to develop better documentation for UxAS including user guides and developer guides and we are developing additional tutorial examples for UxAS and associated simulation framework OpenAMASE (AFRL/RQ 2020. We are also working with collaborators who are developing verified algorithms for OpenUxAS e.g. path planning algorithms. Since OpenUxAS is implemented as a serviceoriented architecture we also plan to develop methods to compositionally verify that collections of services satisfy higherlevel system properties. We are also interested in developing a multivehicle air collision avoidance algorithm using NASA DAIDALUS (NASA 2020 as a foundation incorporating it into OpenUxAS and demonstrating it in OpenAMASE.
1. Bachelors Degree in a relevant technical field;
2. Familiarity with modern Integrated Development Environments (IDEs) and software compilers such as Netbeans Visual Studio Eclipse or similar;
3. 3 years of demonstrated successful experience developing software using C C or Java;
4. Ability to apply technical concepts discussed in academic papers or journals;
5. Due to requirements of our research contracts with the U.S. federal government candidates for this position must be a U.S. Citizen.
While not everyone may possess all of the preferred qualifications the ideal candidate will bring many of the following:
1. Bachelors Degree (or higher) in Electrical Engineering Computer Engineering or Computer Science
2. Demonstrated successful experience (academic or professional) programming in algorithm level languages such as Matlab/Simulink Python or similar
3. Demonstrated successful experience (academic or professional) developing software to 4. Demonstrated successful experience (academic or professional) installing configuring and working in Windows and Linux environments
5. Demonstrated successful experience (academic or professional) developing software applications specifically designed for use in multi platform (e.g. Windows and Linux) environments
6. Demonstrated successful experience (academic or professional) with source code version control systems such as Git Subversion or similar
7. Demonstrated successful experience (academic or professional) with software development practices such as Agile Scrum or similar
8. Demonstrated effective interpersonal skills
9. Active US SECRET (or higher) clearance
Informed by its Catholic and Marianist mission the University is committed to the principles of diversity equity and inclusion. Informed by this commitment we seek to increase diversity achieve equitable outcomes and model inclusion across our campus community. As an Affirmative Action and Equal Opportunity Employer we will not discriminate against minorities women protected veterans individuals with disabilities or on the basis of age race color national origin religion sex sexual orientation or gender identity.
Employment Type
Full-Time
