Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Texas at Austin
- University of Arkansas
- Florida International University
- Broward College
- Washington State University
- The California State University
- Colorado State University
- University of Cincinnati
- Texas A&M University
- University of Washington
- University of New Mexico
- Virginia Community College
- Medical College of Wisconsin
- Texas A&M AgriLife Extension
- University of Maryland, Baltimore
- University of Saskatchewan
- California State University, San Bernardino
- George Washington University
- Oak Ridge National Laboratory
- University of Silesia in Katowice
- Universidade Católica Portuguesa - Porto
- Instituto de Telecomunicações
- Nature Careers
- University of Colorado
- University of Michigan
- University of Sheffield
- Aalborg University
- FESB, Split
- University System of Georgia
- Bellevue College
- TTI
- Texas A&M University System
- The John Paul II Catholic University of Lublin
- University of North Carolina at Chapel Hill
- University of North Texas at Dallas
- University of San Diego
- Warsaw University of Technology - Centre for Credible AI
- Washington University in St. Louis
- Brown University
- European Space Agency
- Fayetteville State University
- IRIT, Université de Toulouse
- Instituto Português do Mar e da Atmosfera, I.P.
- Johns Hopkins University
- Kennesaw State University
- Malopolska Centre of Biotechnology
- Pennsylvania State University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Technical University of Denmark
- Universidade Católica Portuguesa - RIO
- University of California, San Francisco
- University of Houston Central Campus
- University of Illinois at Urbana Champaign
- University of Nevada Las Vegas
- University of Oklahoma
- University of Vermont Medical Center
- Virginia Tech
- AGH University of Krakow
- Aalborg Universitet
- Arizona State University
- Austin Community College District
- Barry University
- Binghamton University
- Bowling Green State University
- Brookhaven National Laboratory
- CNRS
- Cal Poly Pomona
- California Institute of Technology
- California State University East Bay
- Central Michigan University
- Dana-Farber Cancer Institute
- Drexel University
- Embry-Riddle Aeronautical University
- Emory University
- FUNDACIÓN PÚBLICA GALEGA DE INVESTIGACIÓN BIOMÉDICA INIBIC
- Florida Atlantic University
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Georgia College
- Hirszfeld Institute of Immunology and Experimental Therapy Polish Academy of Sciences
- ICFO - The Institute of Photonic Sciences
- INESC ID
- Imperial College London
- Jagiellonian University
- Kent State University
- Maj Institute of Pharmacology Polish Academy of Sciences
- Massachusetts Institute of Technology
- Montgomery College
- NTNU Norwegian University of Science and Technology
- Nanyang Technological University
- Northeastern University
- Novac
- Politecnico di Milano
- RMIT University
- South Dakota State University
- Texas A&M Forest Service
- Texas State University-San Marcos
- The University of Chicago
- The University of Edinburgh;
- Umeå University
- Umeå universitet
- 90 more »
- « less
-
Field
- Economics
- Computer Science
- Medical Sciences
- Engineering
- Business
- Materials Science
- Science
- Education
- Electrical Engineering
- Arts and Literature
- Biology
- Mathematics
- Philosophy
- Psychology
- Law
- Social Sciences
- Chemistry
- Linguistics
- Humanities
- Earth Sciences
- Environment
- Sports and Recreation
- 12 more »
- « less
-
checking), quantum computing, and software analysis/verification. Have a degree in computer science, computer engineering, electrical engineering, or related areas. Possessing a Master degree will be
-
would be complete to describe all the desired characteristics of quantum computing while at the same time simple enough to be understood by most programmers. Formal Verification Framework. We plan
-
(Level B) PhD in computer science or a related discipline with focus on formal methods. Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving
-
for real online scenarios and to study formal verification methods. The program will involve the study of machine learning tools and the development of simulation systems capable of integrating multiple data
-
Formal applications are invited from qualified individuals for the Van Vliet Term Professorship in Agricultural Economics in the Department of Agricultural and Resource Economics at the University
-
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
-
Summary Barry University, College of Nursing & Health Sciences department is currently seeking an Administrative Assistant III. This position is responsible for providing administrative support for
-
28 Nov 2025 Job Information Organisation/Company FESB, Split Research Field Engineering » Electrical engineering Researcher Profile Leading Researcher (R4) Positions Postdoc Positions Country
-
, students, and the department. Perform duties which support the academic mission of the department. This may involve supervising computer labs or reference rooms, grading papers, advising students, tutoring
-
Requirements: Preferably Master in Computer Science or relevant fields. Background in formal verification and programming language theory. Experience in interactive theorem proving and/or Web programming is