Graduate Research Assistant -Cross-Layer Formal Verification and Validation for UAS and C-UAS System’

Job Description

Primary Responsibilities

• Develop and analyze formal models and specifications for cyber-physical system protocols and behaviors.
• Apply formal verification techniques to evaluate correctness, safety, and security properties.
• Conduct posterior formal verification using execution traces, logs, or test results.
• Lead the project with documentation, technical reporting, and research publications.

Required Qualifications: Background or interest in formal methods, protocol verification, or CPS assurance. Strong analytical and programming skills.

Department

Wireless Communications and Health AI

EEO Statement:

Stevens Institute of Technology is an Equal Opportunity Employer. Accordingly, Stevens adheres to an employment policy that prohibits discriminatory practices or harassment against candidates or employees based on legally impermissible factor(s) including, but not necessarily limited to, race, color, religion, creed, sex, national origin, nationality, citizenship status, age, ancestry, marital or domestic partnership or civil union status, familial status, affectional or sexual orientation, gender identity or expression, atypical cellular or blood trait, genetic information, pregnancy or pregnancy-related medical conditions, disability, or any protected military or veteran status. 

Stevens is building a diverse faculty, staff, and student body and strongly encourages applications from people of all backgrounds. Stevens is a federal contractor under the Vietnam Era Veterans' Readjustment Assistance Act (VEVRAA) and the Rehabilitation Act of 1973, as well as other federal statutes. Stevens seeks candidates who will contribute to a welcoming and inclusive environment for all students, faculty and staff.

Jeanne Clery Disclosure: 

In accordance with the Jeanne Clery Disclosure of Campus Security Policy and Campus Crime Statistics Act (Clery Act), the Department of Public Safety is required to publish an annual security report which includes statistics mandated by the Clery Act. Click here for a copy of this report.