Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Canada
- Poland
- Australia
- Spain
- United Kingdom
- Netherlands
- Sweden
- Romania
- Singapore
- France
- Germany
- Italy
- Denmark
- Croatia
- Belgium
- Norway
- Austria
- India
- Luxembourg
- Japan
- Mexico
- Czech
- Europe
- Morocco
- Switzerland
- Cyprus
- Estonia
- Greece
- Ireland
- Slovakia
- United Arab Emirates
- Vietnam
- Worldwide
- 25 more »
- « less
-
Program
-
Field
- Medical Sciences
- Economics
- Computer Science
- Business
- Engineering
- Education
- Materials Science
- Biology
- Science
- Arts and Literature
- Psychology
- Social Sciences
- Mathematics
- Humanities
- Sports and Recreation
- Chemistry
- Law
- Linguistics
- Philosophy
- Environment
- Design
- Electrical Engineering
- Earth Sciences
- Physics
- 14 more »
- « less
-
of Hardware verification, we aim to develop a neuro-symbolic AI platform to convert informal digital design specifications into formally checkable verification artifacts, with logical rigor, traceability, and
-
Arrowhead flexible Production Value Network (Arrowhead fPVN), Grant agreement no. 101111977 (and the partially cofunded by UEFISCDI via the contract no. 7/2024, project code PN-IV-P8-8.1-PME-2024-0011, https
-
systems. The FM Unit of Digital Industry Center is looking for a researcher in the field of formal methods. The successful candidate will work in one or more of the following topics: Formal verification
-
Max Planck Institute for Gravitational Physics (Hanover), Hannover | Hannover, Niedersachsen | Germany | about 9 hours ago
. For our Hannover location, we are seeking a motivated: Test Engineer (m/f/d) to support the verification of the LISA Signal Detection Processing Chain, the LISA Phasemeter and the Ground Support Equipment
-
verification(s) where 'Yes' is indicated below. Further information is available at: https://careers.usask.ca/tips-for-applying.php Criminal Record Check: Not Applicable Driver's License and Abstract Check: Not
-
, original forms of identification for employment verification via the Federal I-9 employment verification process. A list of acceptable documents can be seen here: https://www.uscis.gov/i-9-central/form-i-9
-
applications from all regardless of sex, race, veteran-status, disability, age, gender identity, genetic information, religion, or sexual orientation. EEOC Know Your Rights Poster: https://www.eeoc.gov/sites
-
: https://www.eeoc.gov/sites/default/files/2023-06/22-088_EEOC_KnowYourRights6.12ScreenRdr.pdf In compliance with the ADA Amendments Act (ADAAA), if you have a disability and would like to request
-
I-9 employment verification process. A list of acceptable documents can be seen here: https://www.uscis.gov/i-9-central/form-i-9-acceptable-documents
-
verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based automated reasoning tools such as ESBMC (https://github.com/esbmc/esbmc ) to address safety and reliability