Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Washington
- Virginia Community College
- University of Texas at Austin
- Texas A&M University
- The California State University
- Oak Ridge National Laboratory
- University of Arkansas
- Texas A&M AgriLife
- George Washington University
- Washington University in St. Louis
- University of Cincinnati
- University of New South Wales
- University of New Mexico
- University of Saskatchewan
- Brown University
- Washington State University
- California State University, San Bernardino
- University of Miami
- Kennesaw State University
- The University of Queensland
- Bowling Green State University
- Georgia College
- University of Colorado
- Carnegie Mellon University
- University System of Georgia
- Bellevue College
- University of Michigan
- Pennsylvania State University
- Texas A&M AgriLife Extension
- Cleveland State University
- National Research Council Canada
- Texas A&M University System
- Fayetteville State University
- South Dakota State University
- European Space Agency
- Stony Brook University
- Texas A&M Forest Service
- Texas A&m Engineering
- National University of Science and Technology POLITEHNICA Bucharest
- SAIT Polytechnic
- TCAT-Murfreesboro
- Bowdoin College
- Broward College
- Indiana State University
- TTI
- University of California
- Coast Community College District
- Columbus State University
- Florida International University
- University of San Diego
- Atlanta Metropolitan State College
- Duke University
- University of Alabama at Birmingham
- University of Nevada, Reno
- Central State University
- TCAT-Dickson
- University of Luxembourg
- University of Maryland, Baltimore
- University of Minnesota
- Nanyang Technological University
- SUNY Corning
- Technical University of Munich
- University of North Texas at Dallas
- University of Sheffield
- East Carolina University
- Texas A&M Engineering Extension Service TEEX
- University of British Columbia
- University of Illinois at Urbana Champaign
- University of North Carolina at Chapel Hill
- University of Southern California
- California State University San Marcos
- Central Michigan University
- Pellissippi State Community College
- Purdue University
- University of Mary Washington
- University of Massachusetts Global
- University of North Carolina at Charlotte
- Wayne State University
- California Institute of Technology
- Case Western Reserve University
- EPFL
- Florida Gulf Coast University
- NIST
- Rutgers University
- SUNY
- TCAT-McMinnville
- The University of Arizona
- The University of Chicago
- University of California Irvine
- University of California, Los Angeles
- University of Delaware
- University of Louisville
- Aalborg University
- Brookhaven National Laboratory
- Chapman University
- Graz University of Technology
- Indiana University
- Johns Hopkins University
- Lehigh University
- McGill University
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Materials Science
- Business
- Biology
- Science
- Education
- Mathematics
- Social Sciences
- Arts and Literature
- Psychology
- Sports and Recreation
- Humanities
- Electrical Engineering
- Law
- Earth Sciences
- Chemistry
- Environment
- Design
- Linguistics
- Philosophy
- Physics
- 14 more »
- « less
-
analysis software and deep foundation analysis software maintained by the Bridge Software Institute (BSI). Populate technical engineering responses to end-user questions, coordinate responses with licensing
-
development combined with systems-level experience in software architecture, requirements engineering, interface definition, integration, and functional verification. You are comfortable working across mission
-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
applications. Lead development and supervise the development of detailed system engineering documents and data analysis for requirement development and verification, as well as for post-flight and pre-flight
-
individually, make a real difference. The role We are looking to recruit a Senior Research Software Engineer for a new project on formal verification, seL4 security and AI-assisted theorem proving, funded by
-
and supervise the development of detailed system engineering documents and data analysis for requirement development and verification, as well as for post-flight and pre-flight support. Review and check
-
intelligence can support the development and use of computer algebra systems, including mathematical programming, software verification and testing, documentation, and new ways for researchers to interact with
-
troubleshooting, software installation, ticket documentation, and escalation of complex issues to Tier II support. 2. Provide Tier I and Tier II technical support for computers, classroom technology, instructional
-
to changing priorities and work demands. Teamwork: Ability to work collaboratively with others and contribute to a team environment. Technical Proficiency: Skilled in using office software, technology, and
-
verification of their impact. The project will establish a bridge between physical fault injection experiments and formal security verification, enabling rigorous evaluation of hardware/software countermeasures