Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Texas at Austin
- University of Arkansas
- Florida International University
- Washington State University
- The California State University
- University of New Mexico
- Virginia Community College
- Colorado State University
- University of Maryland, Baltimore
- University of Washington
- Texas A&M AgriLife Extension
- Texas A&M University
- University of San Diego
- University of Cincinnati
- Texas A&M University System
- University of Sheffield
- Washington University in St. Louis
- California State University, San Bernardino
- George Washington University
- Oak Ridge National Laboratory
- Universidade Católica Portuguesa - Porto
- University of California, San Diego
- University of Houston Central Campus
- University System of Georgia
- University of Colorado
- University of Nevada Las Vegas
- University of Saskatchewan
- California State University East Bay
- Fayetteville State University
- Instituto de Telecomunicações
- Johns Hopkins University
- Kennesaw State University
- Medical College of Wisconsin
- South Dakota State University
- TTI
- University of Massachusetts Medical School
- University of Miami
- University of Michigan
- Warsaw University of Technology - Centre for Credible AI
- Bellevue College
- Brown University
- FESB, Split
- IRIT, Université de Toulouse
- Pennsylvania State University
- Technical University of Denmark
- Universidade Católica Portuguesa - RIO
- University of Manchester
- University of North Carolina at Chapel Hill
- University of North Texas at Dallas
- University of Oklahoma
- Villanova University
- Virginia Tech
- ;
- ; University of Cambridge
- Alliant International University
- Arizona State University
- Barry University
- Bowling Green State University
- Brookhaven National Laboratory
- CNRS
- Cal Poly Pomona
- Central Michigan University
- Dalhousie University
- Dana-Farber Cancer Institute
- Deakin University
- Drexel University
- Duke University
- Embry-Riddle Aeronautical University
- Emory University
- European Space Agency
- FUNDACIÓN PÚBLICA GALEGA DE INVESTIGACIÓN BIOMÉDICA INIBIC
- Florida Atlantic University
- Georgia College
- ICFO - The Institute of Photonic Sciences
- INESC ID
- Imperial College London
- Jagiellonian University
- Johannes Kepler University
- Kent State University
- Maj Institute of Pharmacology Polish Academy of Sciences
- Montgomery College
- NTNU Norwegian University of Science and Technology
- Nanyang Technological University
- Nature Careers
- Novac
- Rutgers University
- SUNY University at Buffalo
- Texas A&M Forest Service
- Texas State University-San Marcos
- The University of Edinburgh;
- UNIVERSITY OF SURREY
- Umeå University
- Umeå universitet
- University of Bristol
- University of British Columbia
- University of California Davis
- University of California, Los Angeles
- University of California, San Francisco
- University of Glasgow
- University of Houston
- 90 more »
- « less
-
Field
- Economics
- Computer Science
- Medical Sciences
- Engineering
- Materials Science
- Science
- Business
- Education
- Arts and Literature
- Biology
- Mathematics
- Philosophy
- Electrical Engineering
- Psychology
- Chemistry
- Law
- Social Sciences
- Linguistics
- Earth Sciences
- Humanities
- Environment
- Sports and Recreation
- 12 more »
- « less
-
jointly supervised by Dr Wenda Li (AI for Mathematics) and Dr Mai Luo (ML Systems), and will collaborate with team members based at the School of Informatics, University of Edinburgh, and the University
-
areas: formal verification, proof assistants and verification tools, binary/program analysis, or compilers. - Strong expertise with formal methods tools (e.g., theorem provers, SMT solvers, model checkers
-
Additional Information Eligibility criteria -Doctorate in mathematics, theoretical computer science, or linguistics, prior to the start of the contract. -Advanced level in at least one of the following areas
-
theoretical interests who wants to work at the intersection of quantum information science and cryptography. Training will include advanced quantum theory, computational complexity, and formal reasoning about
-
The Ira A. Fulton Schools of Engineering at Arizona State University (ASU) and the School of Computing and Augmented Intelligence (SCAI) seek applicants for a tenure-track or tenured faculty
-
languages, logic, formal verification or a related field. You have some experience building programming language tooling (e.g. compilers, interpreters, program analysis tools, program synthesis tools
-
University of California, San Francisco | San Francisco, California | United States | about 7 hours ago
of the Clinical Faculty, the Dosimetrist designs external beam treatment plans for patient treatments by using a treatment planning computer, computer support system, and computer quality improvement verifications
-
Job Posting Title: Administrative Program Coordinator ---- Hiring Department: Chandra Department of Electrical and Computer Engineering ---- Position Open To: All Applicants ---- Weekly Scheduled
-
maintain attendance reports Manage materials and documentation for specialty board certification. Prepare letters and verifications for Board eligibility and credentialing Manage program budget and
-
Job Title Program Specialist I Agency Texas A&M Forest Service Department Professional Development Department Proposed Minimum Salary $4,500.00 monthly Job Location College Station, Texas Job Type