- Leonardo DRS, Inc. (Dallas, TX)
- …programming languages (C, C++, or C#) + Experience or classroom knowledge of formal data structure + Excellent written and oral communication skills + Ability to ... must be enrolled in the Electrical Engineering or Computer Science department + Taken formal data structure class + Must be enrolled in an accredited university and… more
- Cummins Inc. (Houston, TX)
- …- Actively seeking new ways to grow and be challenged using both formal and informal development channels. Health and Safety Fundamentals - Champions and models ... - Actively seeking new ways to grow and be challenged using both formal and informal development channels. Health and Safety Fundamentals - Champions and models… more
- Magellan Health Services (Fort Hood, TX)
- …and parent and child communication skills. + Facilitates informal and formal community networks to build positive relationships and reduce social isolation. ... that can maximize program effectiveness. + Utilizes community-based services and formal and informal community networks to provide concrete support for families… more
- US Air Force - Agency Wide (Goodfellow AFB, TX)
- …US, during the entire recruitment process (application, selection, and acceptance of a formal job offer) and selected for employment in the foreign area are eligible ... any step of the recruitment process (application, selection, and acceptance of a formal job offer) will have foreign area benefits eligibility be determined on a… more
- Tarleton State University (Stephenville, TX)
- …learning outcomes; + Work in partnership with immediate supervisor through a formal system of evaluation of instruction to identify strengths and weaknesses and ... and part-time faculty. + Work in partnership with immediate supervisor through a formal system of evaluation of instruction to identify strengths and weaknesses and… more
- Oracle (Austin, TX)
- …Methodologies such as Center for Internet Security, PCI, ISO and others. + Formal Methods & Programming Languages - advancing verification techniques or building new ... services/features such as OCI, AWS, Azure, or GCP + Exposure to formal verification, compilers, or new language development for high-assurance systems. + Knowledge… more
- GovCIO (San Antonio, TX)
- …system planning and design, and ensures requirements comply through formal verification methods. Translates high level product development strategies into ... with the ITSM Administration and implement plans to optimize ServiceNow + Submit formal security patch implementation requests IAW CCMP + Have an understanding and… more
- Meta (Austin, TX)
- …verification closure. Along with traditional simulation, you will use other approaches like Formal and Emulation to achieve a bug-free design. The role also provides ... one or more of the following areas along with functional verification-SV Assertions, Formal , Emulation 12. Experience in EDA tools and scripting (Python, TCL, Perl,… more
- HCA Healthcare (San Antonio, TX)
- …as of 01/01/2013 must have ONE of the following: A. Graduate of a formal sterile processing technology program B. Graduate of a formal surgical technologist ... program C. Three (3) years of experience in a sterile processing technician role OR surgical technologist role. 2. Experience: New hires as of 01/01/2013 must have three (3) years experience in a sterile processing technician role AND/OR surgical technologist… more
- Meta (Austin, TX)
- …verification closure. Along with traditional simulation, you will use other approaches like Formal and Emulation to achieve a bug-free design. The role also provides ... of the following areas along with functional verification - SV Assertions, Formal , Emulation 14. Experience in development of UVM based verification environments… more