Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Aarhus University
- Oak Ridge National Laboratory
- University of Florida
- University of Washington
- University of Luxembourg
- Lehigh University
- NEW YORK UNIVERSITY ABU DHABI
- Texas A&m Engineering
- University of Aveiro
- Chalmers University of Technology
- University of Kansas Medical Center
- Washington University in St. Louis
- Cornell University
- Kennesaw State University
- Luxembourg Institute of Science and Technology
- Massachusetts Institute of Technology
- Sveučilište u Zagrebu, Filozofski fakultet
- University of British Columbia
- University of Houston
- University of Nevada Las Vegas
- University of New South Wales
- University of North Texas at Dallas
- AGH University of Krakow
- Adam Mickiewicz University, Poznań
- Aix-Marseille Université
- Argonne
- Brookhaven National Laboratory
- Bundesanstalt für Materialforschung und -prüfung (BAM)
- Delft University of Technology (TU Delft)
- Ecole Polytechnique Federale de Lausanne
- Inria, the French national research institute for the digital sciences
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- International Iberian Nanotechnology Laboratory (INL)
- International Institute of Molecular and Cell Biology in Warsaw
- KTH Royal Institute of Technology
- Karolinska Institutet (KI)
- Ludwig-Maximilians-Universität München
- Lulea University of Technology
- Luxembourg Institute of Science and Technology (LIST)
- Max Planck Institute for Gravitational Physics, Potsdam-Golm
- Medicinski fakultet Osijek
- National Center for Theoretical Sciences
- New York University
- Pennsylvania State University
- Poznan University of Technology
- SUNY University at Buffalo
- St Jude Children's Research Hospital
- U.S. Department of Energy (DOE)
- University of Maryland
- University of Oregon
- University of Warsaw, Faculty of Biology
- Universty of Aveiro
- Villanova University
- Warsaw University of Technology
- Washington State University
- Wroclaw University of Science and Technology
- Łukasiewicz Research Network - Krakow Institute of Technology
- 47 more »
- « less
-
Field
-
speed no human can match — but how can we trust code we did not write ourselves? Formal verification offers a path to mathematically guaranteed correctness, yet combining it with AI-based code generation
-
scientific life. Selection process The first stage of the competition procedure is the formal verification of the submitted documents. Offers that pass formal verification are subject to substantive evaluation
-
(12.10.2026 – 11.10.2028), Remuneration: 13 333 PLN gross-gross monthly Selection process verification of formal eligibility, merit-based assessment of the submitted documents, Additional comments Selected
-
world-leading research in programming language design, semantics, interactive theorem proving, and formal verification. About the research project We are looking for two Postdocs with a strong background
-
of the research project • Contributing to the preparation, coordination, and follow-up of study-related clinical activities • Assisting with the collection, verification, and documentation
-
Max Planck Institute for Gravitational Physics, Potsdam-Golm | Potsdam, Brandenburg | Germany | about 5 hours ago
of gravitational dynamics and radiation: effective field theory, post-Newtonian and post-Minkowskian expansions, gravitational self-force, black-hole perturbation theory and the effective-one-body formalism
-
the highest quality researchers, faculty, and staff. Employment Eligibility Verification If hired, you will be required to complete the federal Employment Eligibility Verification I-9 form. You will be required
-
competences of candidates; can be found on the website: https://hrs4r.agh.edu.pl/rekrutacja-i-praca#c39212 The recruitment procedure is divided into two stages: formal assessment – assessment
-
at the discretion of the committee and/or hiring authority. All candidates for employment are subject to a pre-employment screening which includes a review of criminal records, reference checks, and verification
-
community This position works with minors Successful completion of standard background checks including but not limited to: social security verification, education verification, national criminal background