Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Washington
- Virginia Community College
- University of Cincinnati
- The California State University
- University of California, San Francisco
- University of Texas at Austin
- Washington University in St. Louis
- Kennesaw State University
- Washington State University
- University of Arkansas
- Binghamton University
- University of New Mexico
- California State University, San Bernardino
- George Washington University
- University System of Georgia
- Texas A&M University
- University of Oklahoma
- Bowling Green State University
- Colorado State University
- Sierra College
- Georgia College
- Columbus State University
- Cleveland State University
- Texas A&M AgriLife Extension
- University of Saskatchewan
- European Space Agency
- Brown University
- Los Angeles Community College District
- National University of Science and Technology POLITEHNICA Bucharest
- The Ohio State University
- University of California Davis
- University of Utah
- Broward College
- Florida International University
- Texas A&m Engineering
- Coast Community College District
- Fayetteville State University
- Indiana State University
- Oak Ridge National Laboratory
- State University of New York University at Albany
- Bowdoin College
- Instituto Politécnico de Bragança
- South Dakota State University
- Stanford University
- TTI
- The University of Chicago
- California State University East Bay
- Rutgers University
- TCAT-Dickson
- University of Illinois at Urbana Champaign
- University of Mary Washington
- Christopher Newport University
- East Carolina University
- SUNY University at Buffalo
- San Francisco State University
- University of Florida
- University of Luxembourg
- University of Minnesota
- University of San Diego
- Atlanta Metropolitan State College
- Boston College
- Cal Poly Pomona
- National University of Science and Technology POLITEHNICA Bucharest, Pitesti Branch
- Purdue University
- Southern Illinois University - School of Medicine
- Tallinn University of Technology
- Universidade Católica Portuguesa - Porto
- University of Michigan
- University of Michigan - Ann Arbor
- University of North Carolina at Chapel Hill
- University of South Carolina
- University of Virginia
- Bellevue College
- Commonwealth University of Pennsylvania
- Georgia State University
- Medical College of Wisconsin
- Nature Careers
- Swarthmore College
- Technical University of Munich
- Universitat Politècnica de Catalunya (UPC)- BarcelonaTECH
- University at Albany (SUNY)
- University of Bergen
- University of California
- University of Colorado
- University of North Carolina Wilmington
- University of North Georgia
- University of Silesia in Katowice
- University of Southern California (USC)
- Virginia Tech
- Wroclaw University of Science and Technology
- AALTO UNIVERSITY
- Aalborg Universitet
- Boise State University
- California State University, Fullerton
- California State University, Northridge
- Chapman University
- Colleges of Fenway - Wentworth Institute of Technology
- Columbia University
- Dana-Farber Cancer Institute
- Delft University of Technology (TU Delft)
- 90 more »
- « less
-
Field
- Economics
- Medical Sciences
- Computer Science
- Business
- Engineering
- Materials Science
- Education
- Biology
- Science
- Arts and Literature
- Social Sciences
- Psychology
- Law
- Mathematics
- Sports and Recreation
- Design
- Humanities
- Philosophy
- Chemistry
- Environment
- Electrical Engineering
- Linguistics
- Physics
- Earth Sciences
- 14 more »
- « less
-
and cyber-physical software; Runtime verification of cyber-physical and autonomous systems; Target applications may include autonomous systems, collision avoidance, mission and plan monitoring
-
of equipment. Job Requirements Have relevant competence in the areas of formal methods (including theorem proving and model checking), quantum computing, and software analysis/verification. Have a degree in
-
preferred: IT systems or complex software Additional Information Knowledge, Skills and Abilities: Technical Problem-Solving: Proven ability to troubleshoot system issues and propose effective solutions
-
complexity to higher education system employees. This position assists users in successfully utilizing their hardware and software workstations including troubleshooting operating systems, desktop applications
-
match. Connections working at The Ohio State University More Jobs from This Employer https://main.hercjobs.org/jobs/21909498/insurance-verification-assistant Return to Search Results
-
compliance, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups
-
Summary Provides campus-wide technology support with client satisfaction and excellent customer service as the ultimate goal. Technology support involves a variety of computers, systems, software
-
analytical, planning, and problem-solving skills Strong communication and stakeholder-engagement abilities High professionalism, discretion, and adaptability Proficiency with office software and project
-
performance. Testing and Debugging Constructs and maintains test cases. Reviews, fixes, and debugs code. Performs validation and verification testing of software programs, services, and applications to ensure
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based