Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
ticket discounts Access to UT Austin's libraries and museums Free rides on all UT Shuttle and Capital Metro buses with staff ID card For more details, please see: https://hr.utexas.edu/prospective/benefits
-
, and institutional content). • Implementation of Retrieval-Augmented Generation (RAG) with semantic and geographic indexing. • Fine-tuning to improve cultural coherence, multilingual responsiveness, and
-
project teams. Comprehensive IT user skills Desirable qualifications are Excellent knowledge in the fields of multimedia systems, digital media technologies, semantic analysis of multimedia content
-
, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods for monitoring, evaluating, and improving LLM robustness, e.g. building
-
automated repair for Infrastructure as Code (IaC) that supports multiple technologies and provides formal correctness guarantees. The selected candidate will: 1) Contribute to the creation of software tools
-
of the following: static and/or dynamic program analysis, programming language techniques (such as semantics, type systems, runtime systems, etc), formal verification, or software engineering
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
broadly construed, e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers
-
. Comprehensive IT user skills Desirable qualifications are Excellent knowledge in the fields of multimedia systems, digital media technologies, semantic analysis of multimedia content, techniques
-
. The postdoctoral scholar will contribute to an NSF-funded project exploring a new semantic foundation for type classes and type families in Haskell. Their work will include formalizing the new approach in Lean
-
Analysis of vulnerabilities in low-resource language settings, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods for monitoring