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 BBCC57EE25 for ; Wed, 13 Nov 2013 19:15:05 +0100 (CET) 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: AqkCAAHBg1KAnPnlm2dsb2JhbABbgz9TvmCBcRYOAQEBAQEGCwsJFCiCJwUBAQE3DAgCHg4DAQIGAgEBPgQECAMBGwkJAScEARIFEQcEh2ANsy6Mao4WhgEDjlaFWIETgk+BL5QEgWgEBRci X-IPAS-Result: AqkCAAHBg1KAnPnlm2dsb2JhbABbgz9TvmCBcRYOAQEBAQEGCwsJFCiCJwUBAQE3DAgCHg4DAQIGAgEBPgQECAMBGwkJAScEARIFEQcEh2ANsy6Mao4WhgEDjlaFWIETgk+BL5QEgWgEBRci X-IronPort-AV: E=Sophos;i="4.93,693,1378850400"; d="scan'208";a="35378158" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Nov 2013 19:15:04 +0100 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 64F906022EE; Wed, 13 Nov 2013 13:13:30 -0500 (EST) 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 89SzzlKNbyjI; Wed, 13 Nov 2013 13:13:30 -0500 (EST) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id C9D1F601EB0; Wed, 13 Nov 2013 13:13:27 -0500 (EST) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 0FD41601B1B for ; Wed, 13 Nov 2013 13:13:26 -0500 (EST) 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 E0nYOd-AyE42 for ; Wed, 13 Nov 2013 13:13:26 -0500 (EST) Received: from ndjsnpf01.ndc.nasa.gov (ndjsnpf01.ndc.nasa.gov [198.117.1.121]) by lists.nasa.gov (Postfix) with ESMTP id EB45E6012DD for ; Wed, 13 Nov 2013 13:13:25 -0500 (EST) Received: from ndjsppt103.ndc.nasa.gov (ndjsppt103.ndc.nasa.gov [198.117.1.197]) by ndjsnpf01.ndc.nasa.gov (Postfix) with ESMTP id 06F99D03C4; Wed, 13 Nov 2013 12:13:36 -0600 (CST) Received: from NDJSCHT113.ndc.nasa.gov (ndjscht113-pub.ndc.nasa.gov [198.117.1.213]) by ndjsppt103.ndc.nasa.gov (8.14.5/8.14.5) with ESMTP id rADIDPkj016809; Wed, 13 Nov 2013 12:13:25 -0600 Received: from NDJSMBX204.ndc.nasa.gov ([169.254.4.67]) by NDJSCHT113.ndc.nasa.gov ([198.117.1.213]) with mapi id 14.03.0158.001; Wed, 13 Nov 2013 12:13:26 -0600 From: "MUNOZ, CESAR (LARC-D320)" To: "fm-announcements@lists.nasa.gov" , "pvs-announce@csl.sri.com" Thread-Topic: Formal Methods Positions at NASA Langley Thread-Index: AQHO4JwLX1D5T5lSm0myne9NuZFRsw== Date: Wed, 13 Nov 2013 18:13:24 +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.7.130812 x-originating-ip: [146.165.82.38] Content-ID: <33702AB370C6F04DB5171C90345AF4CE@mail.nasa.gov> MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.10.8794, 1.0.14, 0.0.0000 definitions=2013-11-13_06:2013-11-13,2013-11-13,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 Positions at NASA Langley *** I apologize for reposting these announcements. Due to the government shutdown, previous announcements have been cancelled and they are being re-advertised; All applicants who applied under the previous announcements must reapply to these announcements in order to be considered. Cesar *** 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: LA14D0003 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 CLOSING DATE: November 20, 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: https://www.usajobs.gov/GetJob/ViewDetails/354736700 *** ANNOUNCEMENT NO: LA14R0001 POSITION: NASA's Pathways Program Recent Graduate, Research Computer Scientist, GS-1550-12 Promotion Potential GS-13 LOCATION: D320, Safety-Critical Avionics Systems Branch CLOSING DATE: November 20, 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 the closing date: https://www.usajobs.gov/GetJob/ViewDetails/354673100 *** 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