From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 611B87FBBC for ; Wed, 7 Jan 2015 16:31:22 +0100 (CET) Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.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: PermError (mail2-smtp-roc.national.inria.fr: cannot correctly interpret sender authenticity information from domain of fm-announcements-bounces@lists.nasa.gov) identity=mailfrom; client-ip=128.156.249.229; receiver=mail2-smtp-roc.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: PermError (mail2-smtp-roc.national.inria.fr: cannot correctly interpret sender authenticity information from domain of postmaster@lists.nasa.gov) identity=helo; client-ip=128.156.249.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="postmaster@lists.nasa.gov"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlUAAFhQrVSAnPnlnGdsb2JhbABZA4NYWATGJQyHAkMBAQEBAREBAQEBAQgLCQkULoQOBQEBATcMAwUCHg4DAQIGAgEBPgQECAMBGwkJAScEEwURBwSICw3DMgEKAQEBHoxIAYJNEQFoghwMQIEwBY4uBIM/gyJagUGBDoJujWaCM4FfbwEBgQo5fgEBAQ X-IPAS-Result: AlUAAFhQrVSAnPnlnGdsb2JhbABZA4NYWATGJQyHAkMBAQEBAREBAQEBAQgLCQkULoQOBQEBATcMAwUCHg4DAQIGAgEBPgQECAMBGwkJAScEEwURBwSICw3DMgEKAQEBHoxIAYJNEQFoghwMQIEwBY4uBIM/gyJagUGBDoJujWaCM4FfbwEBgQo5fgEBAQ X-IronPort-AV: E=Sophos;i="5.07,715,1413237600"; d="scan'208";a="116053152" Received: from lists.nasa.gov ([128.156.249.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 07 Jan 2015 16:31:20 +0100 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 856E6601CD7; Wed, 7 Jan 2015 10:29:55 -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 caDuTRgScXZu; Wed, 7 Jan 2015 10:29:55 -0500 (EST) Received: from lists.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id C53E3601C7D; Wed, 7 Jan 2015 10:29:52 -0500 (EST) Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 4D7E36013EB for ; Wed, 7 Jan 2015 10:29:50 -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 2tKpZARqH4qc for ; Wed, 7 Jan 2015 10:29:50 -0500 (EST) Received: from ndjsnpf01.ndc.nasa.gov (ndjsnpf01.ndc.nasa.gov [198.117.1.121]) by lists.nasa.gov (Postfix) with ESMTP id 1ED22600858 for ; Wed, 7 Jan 2015 10:29:50 -0500 (EST) Received: from ndjsppt105.ndc.nasa.gov (ndjsppt105.ndc.nasa.gov [198.117.1.199]) by ndjsnpf01.ndc.nasa.gov (Postfix) with ESMTP id 85EDFD04BC for ; Wed, 7 Jan 2015 09:24:37 -0600 (CST) Received: from NDJSCHT105.ndc.nasa.gov (ndjscht105-pub.ndc.nasa.gov [198.117.1.205]) by ndjsppt105.ndc.nasa.gov (8.14.7/8.14.7) with ESMTP id t07FTnXi017390 for ; Wed, 7 Jan 2015 09:29:49 -0600 Received: from NDJSMBX204.ndc.nasa.gov ([169.254.4.39]) by NDJSCHT105.ndc.nasa.gov ([198.117.1.205]) with mapi id 14.03.0195.001; Wed, 7 Jan 2015 09:29:50 -0600 From: "MUNOZ, CESAR (LARC-D320)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: Postdoc Position Announcement Thread-Index: AQHQKo7FYP7eeveGEkWoa2CeLMBLIQ== Date: Wed, 7 Jan 2015 15:29:48 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.4.5.141003 x-originating-ip: [146.165.82.38] Content-ID: MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.13.68, 1.0.33, 0.0.0000 definitions=2015-01-07_07:2015-01-07,2015-01-07,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] Postdoc Position Announcement POSTDOC POSITION ANNOUNCEMENT National Institute of Aerospace Software Assurance and Formal Methods The National Institute of Aerospace (NIA) has an opening for a postdoctoral Research Scholar to work in the research area of software assurance and formal methods in support of NASA's sponsored programs. The successful candidate will work with NASA and NIA researchers on one or more research topics centered on techniques and methods for preserving and improving the integrity of software and safety-critical systems of interest to NASA. Examples of these systems include separation assurance algorithms for air traffic management, concepts of operations for Next Generation Air Transportation (NextGen), fault-tolerant avionics systems, etc. The areas of interest within the research team include: * Formal verification of software intensive safety-critical systems. * Development of techniques and tools for formal verification. * Integration of formal verification tools into software development practice. * Design and analysis of operational procedures, algorithms and enabling technologies for air traffic control. Requirements: * PhD degree or equivalent in Computer Science, Mathematics, Electrical or Aerospace Engineering or closely related fields * Demonstrated research experience within the stated areas of interest. * Knowledge of at least one formal verification technique, e.g., theorem proving, model-checking, abstract interpretation, symbolic execution, etc. * Excellent oral and writing communication skills. Desired skills: * Familiarity with current challenges in formal specification and verification of cyber-physical systems, such as modeling of hybrid systems, numerical issues due to machine numbers, etc. * Familiarity with current challenges in application fields related to aerospace engineering, such as autonomy and authority, modeling and simulation, etc. APPLICATION INFORMATION Interested candidates should apply online via NIA's career opportunities site located at http://ch.tbe.taleo.net/CH12/ats/careers/apply.jsp?org=NIANET&cws=1&rid=164 Please include a letter of introduction, resume, and the names and contact information of three current references. Deadline: February 15, 20015 NIA, located near NASA Langley Research Center in Hampton, Virginia, is a non-profit research and graduate education institute created to perform aerospace and atmospheric research, develop new technologies for the nation, and help inspire the next generation of scientists and engineers. Additional information about NIA and its research programs is available at www.nianet.org. NIA ranked 12th in Top 50 Best Non-Profit Companies to work for in the U.S. NIA is an equal opportunity/affirmative action employer. Women, members of minority groups, individuals with disabilities and veterans are encouraged to apply. 12/2014 NIA CONTACT INFORMATION 100 Exploration Way Hampton, VA 23666, US (757)325-6700 info@nianet.org www.nianet.org --- 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