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
- Broward College
- The California State University
- Washington State University
- Colorado State University
- Instituto Politécnico de Bragança
- University of Cincinnati
- Texas A&M University
- University of New Mexico
- University of Washington
- Virginia Community College
- University of Maryland, Baltimore
- Medical College of Wisconsin
- Texas A&M AgriLife Extension
- Oak Ridge National Laboratory
- California State University, San Bernardino
- University of Saskatchewan
- University of Silesia in Katowice
- George Washington University
- Instituto de Telecomunicações
- University of Colorado
- ESS - Escola Superior de Saúde
- Nature Careers
- University of Michigan
- University of San Diego
- University of Sheffield
- Warsaw University of Technology - Centre for Credible AI
- FESB, Split
- Kennesaw State University
- TTI
- Technical University of Munich
- Texas A&M University System
- The John Paul II Catholic University of Lublin
- University of Houston Central Campus
- University of Kansas
- Washington University in St. Louis
- Bellevue College
- Harvard University
- Massachusetts Institute of Technology
- Pennsylvania State University
- REQUIMTE - Rede de Quimica e Tecnologia
- Stony Brook University
- Télécom Paris
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- Universidade Católica Portuguesa - RIO
- University System of Georgia
- University of North Carolina at Chapel Hill
- University of North Texas at Dallas
- Aarhus University
- BI Norwegian Business School
- Brown University
- CNRS
- European Space Agency
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- IRIT, Université de Toulouse
- Instituto Português do Mar e da Atmosfera, I.P.
- Instituto Superior de Agronomia
- Johns Hopkins University
- Malopolska Centre of Biotechnology
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Technical University of Denmark
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of A Coruña
- University of British Columbia
- University of California, San Francisco
- University of Cantabria
- University of Groningen
- University of Illinois at Urbana Champaign
- University of Massachusetts Medical School
- University of Nevada Las Vegas
- University of Oklahoma
- University of Vermont Medical Center
- Virginia Tech
- AGH University of Krakow
- Aalborg University
- Alliant International University
- Arizona State University
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Austin Community College District
- Barry University
- Bowling Green State University
- Brookhaven National Laboratory
- Cal Poly Pomona
- California Institute of Technology
- California State University East Bay
- Canadian Association for Neuroscience
- Carnegie Mellon University
- Central Michigan University
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Chalmers University of Technology
- Dana-Farber Cancer Institute
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Drexel University
- Embry-Riddle Aeronautical University
- Emory University
- 90 more »
- « less
-
Field
- Economics
- Computer Science
- Medical Sciences
- Engineering
- Science
- Materials Science
- Business
- Education
- Electrical Engineering
- Arts and Literature
- Biology
- Mathematics
- Psychology
- Philosophy
- Chemistry
- Humanities
- Linguistics
- Social Sciences
- Law
- Environment
- Earth Sciences
- 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
-
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
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
Details Title Postdoctoral Fellowship in Computer Science - Programming Languages and Artificial Intelligence School Harvard John A. Paulson School of Engineering and Applied Sciences Department
-
(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
-
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
-
28 Nov 2025 Job Information Organisation/Company FESB, Split Research Field Engineering » Electrical engineering Researcher Profile Leading Researcher (R4) Positions Postdoc Positions Country
-
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
-
the competition procedure is the formal verification of submitted documents. Applications that pass the formal verification are subject to substantive evaluation, during which a recruitment interview may be