Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Texas at Austin
- Universidade Católica Portuguesa - Porto
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- University of Oslo
- Carnegie Mellon University
- Harvard University
- INESC ID
- Oak Ridge National Laboratory
- The University of Southampton
- UNIVERSITY OF SOUTHAMPTON
- Universidade Católica Portuguesa
- University of Minho
- University of North Carolina at Charlotte
- 3 more »
- « less
-
Field
-
have until June 30, 2026 to complete the final exam. Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering
-
at least once a week to ensure ongoing progress. In addition, formal management meetings will take place approximately every four months to review milestones, evaluate outcomes, and provide the Fellow with
-
disclose the pay of other employees or applicants to individuals who do not otherwise have access to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in
-
University of North Carolina at Charlotte | Charlotte, North Carolina | United States | about 22 hours ago
Elimination (BLADE) program to secure critical bus systems. This position will lead the formal methods on verification thrust of the project, focusing on providing mathematical assurances for the security
-
to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or action, including an investigation conducted by
-
employees or applicants to individuals who do not otherwise have access to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance
-
candidate, with verification of this condition occurring only at the fellowship contract stage. This declaration must certify facts that occurred prior to the application date. In cases of discrepancy between
-
otherwise have access to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or action, including
-
otherwise have access to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or action, including
-
(a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or action, including an investigation conducted by the employer, or (c) consistent with