[TYPES/announce] Job openings

[Alwyn Goodloe]

    Two new opportunities for civil servant positions at NASA that might
interest the types community.  The candidate should be interested in
reasoning rigorously about safety of civil aviation and space systems. The
group has a history of applying interactive theorem proving, model
checking, SMT solvers to verify safety of complex systems. Note that by
safety we usually do not mean code level safety properties such as absence
of buffer overflows, but system level safety such as aircraft x and y
maintain safe level of separation.  If interested, please go through USA
Jobs - the website for federal jobs.


 *http://www.usajobs.gov/GetJob/ViewDetails/311977600
*
 *http://www.usajobs.gov/GetJob/ViewDetails/311978000
*
 The grade level is within the range of GS 11 - GS 13.  A person's
education and experience will determine where within this range they fall.
Given that these are civil service positions, US Citizenship is required
for both openings.
-- 
Alwyn E. Goodloe, Ph.D.
agoodloe at gmail.com

Research Computer Engineer
NASA Langley Research Center
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120322/48b6b377/attachment.html>