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
- Texas A&M AgriLife
- University of Arkansas
- George Washington University
- University of New South Wales
- University of New Mexico
- Washington University in St. Louis
- Brown University
- University of Saskatchewan
- Washington State University
- University of Miami
- University of Cincinnati
- The University of Queensland
- Bowling Green State University
- California State University, San Bernardino
- University of Colorado
- Kennesaw State University
- University System of Georgia
- Georgia College
- Bellevue College
- University of Michigan
- Carnegie Mellon University
- National Research Council Canada
- Pennsylvania State University
- Fayetteville State University
- South Dakota State University
- Texas A&M AgriLife Extension
- Texas A&M University System
- Texas A&m Engineering
- Texas A&M Forest Service
- Cleveland State University
- European Space Agency
- SAIT Polytechnic
- Stony Brook University
- TCAT-Murfreesboro
- National University of Science and Technology POLITEHNICA Bucharest
- University of California
- Bowdoin College
- Broward College
- Columbus State University
- Duke University
- Indiana State University
- TTI
- Atlanta Metropolitan State College
- University of San Diego
- Central State University
- TCAT-Dickson
- University of Alabama at Birmingham
- Florida International University
- Indiana University
- Technical University of Munich
- Texas A&M Engineering Extension Service TEEX
- University of Maryland, Baltimore
- University of Minnesota
- University of Nevada, Reno
- University of North Texas at Dallas
- University of Sheffield
- Nanyang Technological University
- University of Illinois at Urbana Champaign
- University of Mary Washington
- University of Massachusetts Global
- University of Southern California
- California State University San Marcos
- Central Michigan University
- Coast Community College District
- EPFL
- Pellissippi State Community College
- Purdue University
- SUNY Corning
- University of British Columbia
- University of Delaware
- University of Louisville
- University of Luxembourg
- Wayne State University
- California Institute of Technology
- Case Western Reserve University
- Chapman University
- East Carolina University
- Florida Gulf Coast University
- NIST
- Rutgers University
- TCAT-McMinnville
- The University of Arizona
- University of California Irvine
- University of California, Los Angeles
- University of Florida
- University of North Carolina at Chapel Hill
- University of North Carolina at Charlotte
- Aalborg University
- Athens State University
- Brookhaven National Laboratory
- Lehigh University
- McGill University
- SUNY University at Buffalo
- San Francisco State University
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Materials Science
- Business
- Biology
- Science
- Education
- Mathematics
- Arts and Literature
- Social Sciences
- Psychology
- Sports and Recreation
- Electrical Engineering
- Humanities
- Law
- Earth Sciences
- Environment
- Chemistry
- Design
- Physics
- Linguistics
- Philosophy
- 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
-
. You should demonstrate: Essential Criteria: PhD in computer science or a closely related field, in formal verification, software testing, programming languages, or AI agents Strong programming skills in
-
Te Tari Pūhanga Pūmanawa Rorohiko | Department of Computer Science and Software Engineering Te Kaupeka Pūhanga | Faculty of Engineering Located in Ōtautahi | Christchurch, Aotearoa | New Zealand
-
: Ability to work collaboratively with others and contribute to a team environment. Technical Proficiency: Skilled in using office software, technology, and relevant computer applications. Communication
-
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
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
Inria, the French national research institute for the digital sciences | Talence, Aquitaine | France | about 23 hours ago
2 Oct 2026 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile Recognised Researcher (R2
-
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
-
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