Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- University of Arkansas
- Florida International University
- Washington State University
- Universidade Católica Portuguesa - Porto
- The California State University
- University of New Mexico
- Virginia Community College
- Colorado State University
- University of Maryland, Baltimore
- Instituto Politécnico de Bragança
- University of Washington
- Texas A&M AgriLife Extension
- Texas A&M University
- Oak Ridge National Laboratory
- University of Cincinnati
- University of San Diego
- Texas A&M University System
- University of Sheffield
- California State University, San Bernardino
- George Washington University
- University of California, San Diego
- University of Houston Central Campus
- Washington University in St. Louis
- Instituto de Telecomunicações
- REQUIMTE - Rede de Quimica e Tecnologia
- TTI
- Technical University of Denmark
- Technical University of Munich
- University System of Georgia
- University of Colorado
- University of Nevada Las Vegas
- University of Saskatchewan
- Warsaw University of Technology - Centre for Credible AI
- Bellevue College
- California State University East Bay
- ESS - Escola Superior de Saúde
- Fayetteville State University
- Johns Hopkins University
- Kennesaw State University
- Medical College of Wisconsin
- Nature Careers
- Pennsylvania State University
- South Dakota State University
- Télécom Paris
- Universidade Católica Portuguesa - RIO
- University of Kansas
- University of Massachusetts Medical School
- University of Miami
- University of Michigan
- Aarhus University
- BI Norwegian Business School
- Brown University
- CNRS
- Cal Poly Pomona
- Chalmers University of Technology
- FESB, Split
- INESC ID
- IRIT, Université de Toulouse
- Massachusetts Institute of Technology
- Stony Brook University
- University of A Coruña
- University of Birmingham
- University of Cantabria
- University of Groningen
- University of Lodz
- University of Manchester
- University of Maryland
- University of North Carolina at Chapel Hill
- University of North Texas at Dallas
- University of Oklahoma
- Villanova University
- Virginia Tech
- ;
- ; The University of Edinburgh
- ; University of Cambridge
- Alliant International University
- Arizona State University
- Barry University
- Bowling Green State University
- Brookhaven National Laboratory
- Canadian Association for Neuroscience
- Central Michigan University
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Dalhousie University
- Dana-Farber Cancer Institute
- Deakin University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Drexel University
- Duke University
- Embry-Riddle Aeronautical University
- Emory University
- European Space Agency
- FEUP
- FUNDACIÓN PÚBLICA GALEGA DE INVESTIGACIÓN BIOMÉDICA INIBIC
- Florida Atlantic University
- Fraunhofer-Gesellschaft
- Georgia College
- 90 more »
- « less
-
Field
- Economics
- Computer Science
- Medical Sciences
- Engineering
- Science
- Materials Science
- Business
- Education
- Biology
- Arts and Literature
- Electrical Engineering
- Mathematics
- Philosophy
- Psychology
- Chemistry
- Law
- Social Sciences
- Earth Sciences
- Linguistics
- Humanities
- Environment
- Physics
- Sports and Recreation
- 13 more »
- « less
-
Job Description Position Details School of Computer Science Location: University of Birmingham, Edgbaston, Birmingham UK Full time starting salary is normally in the range £36,636 to £46,049 with
-
degree or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. Experience in reachability analysis, formal verification/model checking, control theory, or related
-
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
-
Engineering, a 4-years PhD position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence with the topic of formal verification of distributed systems
-
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
-
REQUIREMENTS Computer Science and Engineering is seeking applicants for a part-time AI Research Assistant – Interpretable and Verifiable AI (LLM-to-Logic Translation). Job Description: We are seeking a part-time
-
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
-
a strong background in discrete mathematics, algorithms, computational complexity, automata, logic, formal languages, verification, or related topics with undergraduate and/or master’s degrees in
-
This is a full-time (37 hours/week) on-site role located at Åbogade 34, 8200 Aarhus N, Denmark for a Postdoctoral Fellow at the Department of Computer Science, Aarhus University. The postdoctoral