The successful applicant will assist AMA's Formal Methods team at NASA Langley Research Center with the development of new software modules for the VSCode PVS verification system, which will include the following tasks Become familiar with VSCode PVS Identify and document the design changes necessary to execute VSCode PVS on remote machines and distributed servers. Assist

Application Developer II (Dynamics CRM) India United States Virtual Req #470 Tuesday, January 16, 2024 Are you a dreamer, innovator, thinker and a do er who believes in contributing to something that makes difference? Pursue your passion. Join PMI. How You'll Make a Difference You will architect, design, develop, maintain, operate and support CRM landscape at PMI. Working

We are looking for a technical leader to help shape the architecture and services for Dropbox's product platform . This will involve d efining the large scale, low latency architecture that supports multiple products which touch hundreds of millions of people and a lot of data. Responsibilities You will work with infrastructure experts across Dropbox to help shape how we

The Candidate must possess the minimum Education / Qualifications Minimum of (1) year of experience in software engineering, including the design, coding, testing, and documentation of computer programs or a Bachelor Degree in related field Proficiency in SQL using Oracle technologies Linux/Unix knowledge and command line /Vi Editor experience is required Experience with

The successful applicant will assist AMA's Formal Methods Group at NASA Langley Research Center with the development and improvement of formal methods backed tools and techniques. Requirements Completion of at least three years of an undergraduate degree in mathematics, computer science, or a related field. Experience or exposure to interactive theorem provers such as PVS

Plans, conducts, and directs large projects to resolve complex technical problems. Leverages Agile Software Development process Establishes approaches, develops project costs/staffing estimates, coordinates team, recommends technical corrections, and evaluates progress and results. Builds and integrates complex software applications. Analyzes, designs, develops, modifies,

Selection will be based on your application, resume, and portfolio. In order to be considered, you will need to submit a portfolio with your application. Clark Nexsen is seeking a creative, ambitious Architect I who shares our commitment to design excellence, sustainability, and innovation. You will join a team of architects and designers, working in a multi discipline, c

Sigma Defense is seeking a Computer Programmer IV to work on an upcoming Navy contract in the Norfolk, VA area. This is a contingent position that is pending award of contract. This means that the position is subject to the successful awarding of a contract and will be confirmed once the contract is finalized. The candidate selected for this role will be offered the posit

The successful applicant will assist AMA's Formal Methods team at NASA Langley Research Center with the development of new software modules for the PRECiSA static analyzer, which will include the following tasks Identify and document the design changes needed to analyze the round off error of a quantized NN in PRECiSA. Implementing the new software modules necessary in PR

The Project Support Analyst (HLD) will be responsible for overall project analysis. Additional Responsibilities Include, but are not Limited To Possess an in depth understanding of the JCIDS process; all relevant functional areas; the Homeland Defense mission area; DoD staff work/processes; and regulations guiding JCIDS document development and coordination. Develop and m

TS/SCI with Poly Regular A Software Developer's work on this program is dictated by the software development needs of an agile and flexible architecture. A Top Secret/SCI clearance with Polygraph is required for this position. Developers work to create software programs for computers, mobile devices, wireless communications, servers, and data manipulation and visualization

Relies on extensive experience and judgment to plan and accomplish goals and independently performs a wide variety of complicated tasks. May provide consultation on complex projects and is considered to be the top level contributor/specialist. May lead and direct the work of others. Design, build and maintain a stable and efficient infrastructure to optimize service deliv

Essential Duties & Job Functions Initial assignments are designed to develop competence in applying established programming procedures to routine problems. Performs routine programming assignments that do not require skilled background experience but do require knowledge of established programming procedures and data processing requirements. Works according to clear cut a

Job Title / Level US Navy & US Army Watercraft Systems Engineer II Secret Clearance Clearance Required? Secret Location Newport New, VA 23604 US (Primary) % Travel 10 20% Job Description We are searching for a mission driven professional with an active SECRET clearance to become our US Navy and US Army Watercraft Systems Engineer II in Fort Eustis, VA or Philadelphia, PA.

Position MSLT NATO Next Generation of M&S Requirements Manager and Architect, Norfolk, VA Posted 02/23/2024 CONTINGENT UPON CONTRACT AWARD MSLT NATO Next Generation of M&S Requirements Manager and Architect Norfolk, VA Job Duties 1. Conduct work to identify, scope and define NATO needs that may be satisfied with M&S, on strategic to tactical planning, functional planning