From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D97287EE49 for ; Thu, 19 Sep 2013 16:57:02 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fm-announcements-bounces@lists.nasa.gov) identity=pra; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fm-announcements-bounces@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=mailfrom; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=helo; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="postmaster@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvoBALAPO1KAnPnlnGdsb2JhbABbgz9SwGKBahYOAQEBAQEGDQkJFCEHgicFAQEBNwwIAh4OAwECBgIBAT4EBAgDARsJCQEnBBMFEQcEh2IMrSyMT44ehW4DjkyGZYJLgS+TaoFxOQ X-IPAS-Result: AvoBALAPO1KAnPnlnGdsb2JhbABbgz9SwGKBahYOAQEBAQEGDQkJFCEHgicFAQEBNwwIAh4OAwECBgIBAT4EBAgDARsJCQEnBBMFEQcEh2IMrSyMT44ehW4DjkyGZYJLgS+TaoFxOQ X-IronPort-AV: E=Sophos;i="4.90,937,1371074400"; d="scan'208";a="27428848" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Sep 2013 16:57:01 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 707E7601B9C; Thu, 19 Sep 2013 10:55:34 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id rJrerGFM1l9G; Thu, 19 Sep 2013 10:55:34 -0400 (EDT) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id C3B08601989; Thu, 19 Sep 2013 10:55:31 -0400 (EDT) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id AA6C7601938 for ; Thu, 19 Sep 2013 10:55:29 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Suxsg-+1C7TQ for ; Thu, 19 Sep 2013 10:55:29 -0400 (EDT) Received: from ndmsnpf02.ndc.nasa.gov (ndmsnpf02.ndc.nasa.gov [198.117.0.122]) by lists.nasa.gov (Postfix) with ESMTP id 92D15600471 for ; Thu, 19 Sep 2013 10:55:29 -0400 (EDT) Received: from ndjsppt105.ndc.nasa.gov (ndjsppt105.ndc.nasa.gov [198.117.1.199]) by ndmsnpf02.ndc.nasa.gov (Postfix) with ESMTP id 39BC9E8003 for ; Thu, 19 Sep 2013 09:55:29 -0500 (CDT) Received: from NDJSCHT104.ndc.nasa.gov (ndjscht104-pub.ndc.nasa.gov [198.117.1.204]) by ndjsppt105.ndc.nasa.gov (8.14.5/8.14.5) with ESMTP id r8JEtTX3004180 for ; Thu, 19 Sep 2013 09:55:29 -0500 Received: from NDJSMBX204.ndc.nasa.gov ([169.254.4.48]) by NDJSCHT104.ndc.nasa.gov ([198.117.1.204]) with mapi id 14.03.0158.001; Thu, 19 Sep 2013 09:55:28 -0500 From: "MUNOZ, CESAR (LARC-D320)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: Formal Methods Position at NASA Thread-Index: AQHOtUhHriZo8wvU0U27xEOw20my6g== Date: Thu, 19 Sep 2013 14:55:27 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.3.5.130515 x-originating-ip: [146.165.82.38] Content-ID: <83AB7E5641534D41B8E9E704765201C0@mail.nasa.gov> MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.10.8794, 1.0.431, 0.0.0000 definitions=2013-09-19_06:2013-09-19,2013-09-19,1970-01-01 signatures=0 X-BeenThere: fm-announcements@lists.nasa.gov X-Mailman-Version: 2.1.14 List-Id: NASA Formal Methods Announcements List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: cesar.a.munoz@nasa.gov Subject: [Caml-list] [fm-announcements] Formal Methods Position at NASA The Formal Methods team at NASA Langley Research Center, Hampton, Virginia, U.S., has opened the following positions (U.S. citizenship is required to apply). ANNOUNCEMENT NO: LA13D0064 POSITION: Research Computer Scientist, AST, Computer Research and Development, GS-1550-12/13, Promotion Potential GS-13 LOCATION: Org D320, Safety-Critical Avionics Systems Branch OPENING DATE: September 18, 2013 CLOSING DATE: October 09, 2013 AREA OF CONSIDERATION: This announcement is open to all qualified U.S. citizens. This position is located in the Safety-Critical Avionics Systems Branch within the Research Directorate. This position involves conducting research to develop formal verification methods for the analysis, design, and implementation of advanced future aircraft and spacecraft safety-critical systems. Additional details are available at the following websites prior to the closing date: http://www.usajobs.gov/GetJob/ViewDetails/351820600 *** ANNOUNCEMENT NO: LA13P0045 POSITION: NASA's Pathways Program Recent Graduate, Research Computer Scientist, GS-1550-12 Promotion Potential GS-13 LOCATION: D320, Safety-Critical Avionics Systems Branch OPENING DATE: September 18, 2013 CLOSING DATE: October 09, 2013 AREA OF CONSIDERATION: Current students from education institutions interested in paid opportunities with Federal agencies or recent Graduates from qualifying institutions within two years of degree or certification (Veterans precluded by their military service obligation, will have up to six years to apply) or Presidential Management Fellowships for individuals who have received a qualifying advanced degree within the preceding two years. This position is located in the Safety-Critical Avionics Systems Branch within the Research Directorate. This position involves conducting research to develop formal verification methods for the analysis, design, and implementation of advanced future aircraft and spacecraft safety-critical systems. Additional details are available at the following websites prior to theclosing date: http://www.usajobs.gov/GetJob/ViewDetails/351743700 *** For more information on NASA's application process, go to http://nasajobs.nasa.gov --- To opt-out from this mailing list, send an email to fm-announcements-request@lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner@lists.nasa.gov