Sort by
Refine Your Search
- 
                Listed
 - 
                Category
 - 
                Country
 - 
                Program
 - 
                Employer
- University of Texas at Austin
 - University of Arkansas
 - Florida International University
 - Universidade Católica Portuguesa - Porto
 - Washington State University
 - The California State University
 - University of New Mexico
 - Virginia Community College
 - Colorado State University
 - Instituto Politécnico de Bragança
 - University of Maryland, Baltimore
 - Texas A&M University
 - University of Washington
 - Texas A&M AgriLife Extension
 - 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
 - Warsaw University of Technology - Centre for Credible AI
 - 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 California, San Diego
 - University of Colorado
 - University of Houston Central Campus
 - University of Saskatchewan
 - California State University East Bay
 - ESS - Escola Superior de Saúde
 - Fayetteville State University
 - Johns Hopkins University
 - Kennesaw State University
 - 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 Michigan
 - University of Nevada Las Vegas
 - Aarhus University
 - BI Norwegian Business School
 - Bellevue College
 - Brown University
 - CNRS
 - Cal Poly Pomona
 - Chalmers University of Technology
 - FESB, Split
 - INESC ID
 - IRIT, Université de Toulouse
 - Massachusetts Institute of Technology
 - Medical College of Wisconsin
 - Nature Careers
 - Stony Brook University
 - University of A Coruña
 - University of Birmingham
 - University of Cantabria
 - University of Groningen
 - University of Lodz
 - University of Miami
 - 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
 - Hannover Medical School •
 - Harvard University
 - 90 more »
 - « less
 
 - 
                Field
- Economics
 - Computer Science
 - Medical Sciences
 - Engineering
 - Science
 - Materials Science
 - Business
 - Education
 - Biology
 - Electrical Engineering
 - Arts and Literature
 - 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
 - 
                
                
                
of selection procedure: The first stage of the recruitment procedure is the formal verification of the submitted documents. Applications that successfully pass the formal verification stage are then subject to