Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Medical Sciences
- Economics
- Computer Science
- Engineering
- Business
- Materials Science
- Biology
- Science
- Education
- Social Sciences
- Mathematics
- Humanities
- Law
- Arts and Literature
- Psychology
- Electrical Engineering
- Chemistry
- Sports and Recreation
- Environment
- Philosophy
- Design
- Earth Sciences
- Linguistics
- Physics
- 14 more »
- « less
-
of equipment. Job Requirements Have relevant competence in the areas of formal methods (including theorem proving and model checking), quantum computing, and software analysis/verification. Have a degree in
-
. He/she may also participate in teaching: Dependable Software Engineering, Software Verification and Validation Methods (apprenticeship), and Computer System Dependability (apprenticeship). He/she will
-
position in the area of AI for Software Engineering. SCAI (https://scai.engineering.asu.edu/ ), one of the eight Fulton Schools, houses a vibrant Industrial Engineering and Computer Science Engineering
-
the research project “Formal Methods and Verification Tools for Next-generation Automotive System Platforms” supported by CREST, Japan Science and Technology Agency. https://www.jaist.ac.jp/project/crest_fmap/en
-
outreach activities, strengthening NTU’s leadership in infrastructure security R&D. Job Requirements: A Master in Computer Science, Software Engineering, Artificial Intelligence, or a related discipline
-
Student Employee - Software Development Intern (Spring) - Job Number: 260404 Organization : Arts & Sciences Dean Job Location : United States-Oklahoma-Norman Schedule : Part-time Work Schedule
-
insights and software artifacts advancing the state of the art in quantum program verification. Duties The doctoral student will primarily devote their time to doctoral education. Other departmental duties
-
California State University, Long Beach | Long Beach, California | United States | about 6 hours ago
, Computer Engineering or a closely related field. Areas of expertise may include, but not limited to, software design and architecture, software testing and verification, software project management, and
-
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-acceptable-documents
-
Currently enrolled in an undergraduate program in any applied sciences, statistics, and engineering. Strong organizational and time-management skills. Excellent communication skills, both written and verbal