Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
Posting Details Posting Summary Working Title Events and Audio Visual Support Specialist Role Title Info Technology Specialist I Role Code 39111-SW FLSA Nonexempt Pay Band 04 Position Number
-
computer science or related fields Excellent accademic skills and strong interest in Electronic Design Automation (EDA) Strong expertise in hardware design, verification, and the use of formal methods Excellent
-
(United States of America) Sponsorship Available: No Institution Name: University of Arkansas for Medical Sciences The University of Arkansas for Medical Sciences (UAMS) has a unique combination of
-
from agreed tolerances. Â Leads activities required in the realization of the technology benefits of each part of the change program. Identifies specific metrics and mechanisms to measure benefits and
-
formal and informal channels, with diplomacy and tactfulness. Demonstrated creativity, problem solving, critical analysis, initiative, judgment and, decision-making skills. Demonstrated solid planning and
-
Support Job Type: Regular Work Shift: Day Shift (United States of America) Sponsorship Available: No Institution Name: University of Arkansas for Medical Sciences The University of Arkansas for Medical
-
28 Nov 2025 Job Information Organisation/Company FESB, Split Research Field Engineering » Electrical engineering Researcher Profile Leading Researcher (R4) Positions Postdoc Positions Country
-
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
-
The students will be enrolled in the structured PhD programme in Computer Science at Sapienza University of Rome, Italy: https://www.uniroma1.it/en/offerta-formativa/dottorato/2025/computer-science About the
-
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