2,268 software-verification-computer-science-"the"-"Washington-University-in-St" positions
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- Texas A&M University
- Virginia Community College
- University of Cincinnati
- University of Arkansas
- University of California, San Francisco
- Kennesaw State University
- Colorado State University
- Texas A&M University System
- Binghamton University
- California State University, San Bernardino
- University of New Mexico
- George Washington University
- Washington State University
- University of Miami
- Los Angeles Community College District
- Carnegie Mellon University
- University System of Georgia
- Fayetteville State University
- Bellevue College
- Columbus State University
- Texas A&M AgriLife Extension
- Texas A&M AgriLife
- California State University East Bay
- Brown University
- Rutgers University
- University of Michigan
- Oak Ridge National Laboratory
- University of San Diego
- University of Saskatchewan
- SUNY University at Buffalo
- University of California, San Diego
- University of Colorado
- University of Southern California
- Georgia College
- Texas A&M Engineering Extension Service TEEX
- European Space Agency
- University of Iowa
- University of Oklahoma
- South Dakota State University
- Texas A&m Engineering
- Broward College
- Indiana State University
- National Renewable Energy Laboratory NREL
- TCAT-Knoxville
- University of California
- University of California Davis
- Bowdoin College
- California Institute of Technology
- California State University San Marcos
- Cleveland State University
- Florida International University
- Texas A&M Forest Service
- Yale University
- Iowa State University
- Stony Brook University
- University of Mary Washington
- University of Utah
- Montgomery College
- National Research Council Canada
- TCAT-Dickson
- Texas A&M TVMDL
- University of Minnesota
- University of Southern California (USC)
- Technical University of Munich
- The Ohio State University
- University of British Columbia
- University of California, Los Angeles
- University of Florida
- University of Maryland
- University of Maryland, Baltimore
- University of Victoria
- ;
- Cal Poly Pomona
- Medical College of Wisconsin
- TCAT-Murfreesboro
- Technical University of Denmark
- University of Kentucky
- University of Michigan - Ann Arbor
- University of North Carolina at Chapel Hill
- University of North Texas at Dallas
- Western Nevada College
- Ball State University
- California State University, Northridge
- Christopher Newport University
- Duke University
- East Carolina University
- Embry-Riddle Aeronautical University
- Ivy Tech Community College
- Lehigh University
- Nanyang Technological University
- Nature Careers
- Singapore Institute of Technology
- TTI
- The California State University
- University of Louisville
- University of San Francisco
- University of South Carolina
- University of Texas at Dallas
- University of Wisconsin-Madison
- 90 more »
- « less
-
Field
- Economics
- Computer Science
- Medical Sciences
- Engineering
- Business
- Materials Science
- Education
- Science
- Biology
- Sports and Recreation
- Arts and Literature
- Mathematics
- Psychology
- Social Sciences
- Chemistry
- Earth Sciences
- Humanities
- Design
- Electrical Engineering
- Law
- Linguistics
- Environment
- Philosophy
- Statistics
- 14 more »
- « less
-
such as quantisation and sampling are often ignored during the verification of AI models. Yet, they are pervasive phenomena in any engineering application where digital compute platforms interact with
-
processing and data entry software including basic statistics (for example Excel and Word) Understanding of MR and fMRI methodology. Skill in the use of personal computers, word processing and data entry
-
: computer-based salon applications and software. Coordinating clinical/practical experiences and managing patron services. Maintaining accurate student records and documentation. Developing curriculum and
-
with more than 300 BS, 350 MS and 30 doctoral students. The department’s faculty are active in research areas including machine learning, cybersecurity, computer networks, software engineering, high
-
areas, including but not limited to Software Engineering, Cybersecurity, Data Science, Artificial Intelligence, Machine Learning, Computer Vision, Mainframe Computing, and more. Candidates with a strong
-
with more than 300 BS, 350 MS and 30 doctoral students. The department’s faculty are active in research areas including machine learning, cybersecurity, computer networks, software engineering, high
-
applicable software to create databases, perform statistical analyses, present data and perform other computer related tasks. -Ability to multi task and work cooperatively with others. Preferred Knowledge
-
, technical, and field equipment -Ability to effectively utilize a computer and applicable software to curate and manage data, perform statistical analyses, present data, and perform other computer related
-
hours in the teaching discipline is required at the time of hire. To teach graduate courses: A Terminal/Doctorate degree, or the foreign equivalent, in Software Engineering, Computer Science or a related
-
developing a novel approach to proving refinement propositions using a combination of LLMs and state-of-the-art theorem provers. Developments in this area have the potential to advance software verification