Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- University of Arkansas
- Florida International University
- Virginia Community College
- University of Washington
- Texas A&M AgriLife Extension
- Universidade Católica Portuguesa - Porto
- The John Paul II Catholic University of Lublin
- University of New Mexico
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Washington State University
- AGH University of Krakow
- George Washington University
- Kennesaw State University
- University of Utah
- Naval Postgraduate School
- Texas A&M University
- The California State University
- Broward College
- University of Saskatchewan
- The University of Chicago
- University System of Georgia
- University of Luxembourg
- University of Nevada Las Vegas
- University of New South Wales
- University of Silesia in Katowice
- Bowling Green State University
- CNRS
- California State University, San Bernardino
- Instituto de Telecomunicações
- Technical University of Munich
- University of California
- University of Sheffield
- Washington University in St. Louis
- Brookhaven National Laboratory
- Coast Community College District
- Columbus State University
- Fayetteville State University
- Fondazione Bruno Kessler
- Georgia State University
- Graz University of Technology
- Hanken School of Economics
- INESC ID
- INSTYTUT ROZWOJU MIAST I REGIONÓW
- Imperial College London;
- Indiana University
- Johns Hopkins University
- Luxembourg Institute of Science and Technology (LIST)
- University of Cincinnati
- University of North Carolina at Charlotte
- University of Texas Rio Grande Valley
- University of Toronto
- Aalborg Universitet
- Aalborg University
- Arkansas State University
- Bemidji State University
- Boston University
- Bowdoin College
- Bridgewater State University
- Chalmers University of Technology
- Cleveland State University
- Duke University
- East Carolina University
- Eindhoven University of Technology (TU/e)
- Faculdade de Medicina Veterinária
- Fields Institute
- Hannover Medical School •
- Harvard University
- IMEC
- IMT School for Advanced Studies Lucca
- INCLIVA Biomedical Research Institute
- Imperial College London
- Indiana University Bloomington
- Institute of Low Temperature and Structure Research Polish Academy of Sciences
- Institute of Urban and Regional Development
- Instituto Politécnico de Bragança
- Instituto Superior de Agronomia
- Instituto de Educação da Universidade de Lisboa
- Johannes Kepler University
- KTH Royal Institute of Technology
- Luxembourg Institute of Science and Technology
- Massachusetts Institute of Technology (MIT)
- NEW YORK UNIVERSITY ABU DHABI
- NIST
- National University of Science and Technology POLITEHNICA Bucharest
- New York University
- Pennsylvania State University
- Poznan University of Technology
- REQUIMTE - Rede de Quimica e Tecnologia
- Silesian University of Technology
- Stanford University
- Swarthmore College
- The University of Arizona
- Tilburg University
- UNIVERSIDAD POLITECNICA DE MADRID
- UNIVERSITY OF SURREY
- Universidad de Alicante
- Universidade de Trás-os-Montes e Alto Douro
- University of A Coruña
- University of Agriculture in Krakow
- 90 more »
- « less
-
Field
- Economics
- Medical Sciences
- Computer Science
- Business
- Engineering
- Education
- Science
- Law
- Mathematics
- Materials Science
- Arts and Literature
- Biology
- Humanities
- Psychology
- Philosophy
- Electrical Engineering
- Social Sciences
- Linguistics
- Sports and Recreation
- Environment
- Earth Sciences
- Physics
- 12 more »
- « less
-
reporting exceptions, please visit the Title IX website at http://titleix.utexas.edu.(Enter Responsibilities here without percentages) Required Qualifications Bachelors degree. Experience in a Business Office
-
authorized by the competent authority of the MESR (Ministry of Higher Education and Research). Verifying protocols with AC operators using PROVERIF Formal verification relies on mathematical reasoning
-
speed no human can match — but how can we trust code we did not write ourselves? Formal verification offers a path to mathematically guaranteed correctness, yet combining it with AI-based code generation
-
and opening vehicles for those locked out. For more information on UT Parking and Transportation Services, please visit: https://parking.utexas.edu/. Your skills will make a difference. You’ll be
-
is responsible for the proper handling and dispensing of medical/surgical supplies in clinical areas, supply par areas, and various inventory locations. Qualifications: High School/GED or formal
-
formally embedded in the Department of Intelligent Systems (DIS) and will collaborate closely with the Department of Computational Cognitive Science (DCS). The project The SHIELD project is a collaboration
-
details, please see: https://hr.utexas.edu/prospective/benefits and https://hr.utexas.edu/current/services/my-total-rewards Must be authorized to work in the United States on an ongoing, full-time basis
-
Validation - Reproduce and verify analyses on data for manuscripts; audit datasets and code for accuracy; identify and correct pipeline errors; document reproducible verification procedures. Software - Develop
-
departments on student issues. 6. Maintains caseload of students and tracks outcomes. 7. Processes Veteran's Administration paperwork, writes graduation verification letters, and provides financial aid appeals
-
of behavioural models for dynamic analysis. Particular emphasis will be placed on the development of temporal modelling concepts, knowledge graphs, and formal verification techniques, enabling the automatic