Position Summary: |
Are you interested in working for UDRI, a national leader in scientific and engineering research, serving government, industry and nonprofit customers? Join UDRI as a Staff Autonomy Researcher! Verification of autonomy is known to be a hard problem. Autonomous systems include complex decision-making mechanisms that are likely to be sensitive to changing mission conditions, resulting in a “state space explosion” of possible system behaviors that traditional test-based approaches cannot adequately cover. To address this problem, “formal methods” – i.e., mathematically-based 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. |
---|---|
Minimum Qualifications: |
1. Bachelor's Degree in a relevant technical field; |
Preferred Qualifications: |
While not everyone may possess all of the preferred qualifications, the ideal candidate will bring many of the following: 1. Bachelor's Degree (or higher) in Electrical Engineering, Computer Engineering, or Computer Science |
Special Instructions to Applicants: | To apply please submit a cover letter addressing each minimum qualification and any applicable preferred qualifications that you meet. |
Closing Statement: |
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 race, color, national origin, religion, sex, sexual orientation or gender identity. |
Similar Positions
-
Postdoc Department Of Pharmacology And Toxicology, Wright State University Boonshoft School of Medicine, United States, 3 days ago
A Postdoctoral Position is available in the Department of Pharmacology and Toxicology, Wright State University School of Medicine to study the DNA replication checkpoint and cell cycle regulation ...