Airplane and space systems.
forum
Multiple PhD positions in cyber-physical systems security and robotics safe planning are available at the University of Virginia (UVA) Autonomous Mobile Robots Laboratory (https://www.bezzorobotics.com/).
Research areas:
forum
Submitted by Anonymous on Wed, 03/14/2018 - 3:11pm
CALL FOR PAPERS
July 18-19, 2018 | Oxford, UK | https://nsv-2018.github.io/nsv2018/
Federated Logic Conference (FLoC) 2018
We are pleased to invite you to submit papers to the 11th International Workshop on Numerical Software Verification (NSV 2018).
Important Dates
event
Submitted by Anonymous on Wed, 03/14/2018 - 3:10pm
11th International Workshop on Numerical Software Verification (NSV 2018)
Federated Logic Conference (FLoC) 2018
file
Due to increasing use by civil and federal authorities and vast commercial and amateur applications, Unmanned Aerial Systems (UAS) will be introduced into the National Air Space (NAS); the question is only how we can do this safely. NASA and the FAA are designing a new automated air traffic control system (NextGen) for all aircraft, manned or unmanned. New algorithms and tools need to be developed to enable computation of the complex questions inherent in designing such a system while proving adherence to rigorous safety standards.
file
Our results concern using program-slicing to model software components in a CPS, with applications to verification of aviation software.
forum
Submitted by Anonymous on Wed, 11/29/2017 - 3:52pm
The Ann and H.J. Smead Department of Aerospace Engineering Sciences in the College of Engineering and Applied Science at the University of Colorado Boulder invites applications for two tenure-track/tenured faculty position in all areas of aerospace engineering sciences.
The Department's vision of successful candidates includes their potential for developing innovative and inspiring teaching and research programs that
