Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- Nanyang Technological University
- Texas A&m Engineering
- California State University San Marcos
- THE UNIVERSITY OF HONG KONG
- University of Cincinnati
- Aalborg Universitet
- Aalborg University
- Aarhus University
- Bellevue College
- Harvard University
- Indiana University
- Kennesaw State University
- Massachusetts Institute of Technology
- NIST
- Northeastern University
- South Dakota State University
- THE UNIVERSITY OF WESTERN AUSTRALIA - INDIA
- The California State University
- University of Lund
- University of Saskatchewan
- University of Washington
- Washington State University
- 13 more »
- « less
-
Field
-
background in formal verification, neural network verification, software testing or machine learning robustness. Proven research track record with publications in reputable conferences or journals. Ability
-
/mathematically oriented ML verification research at LTH, and builds on SE's expertise in empirical and applied software and systems engineering, as well as the department's established collaborations within, among
-
the correctness, robustness and reliability of deep neural networks and AI-enabled software systems. Job Responsibilities: Develop novel methods and algorithms for the verification, testing and robustness analysis
-
Computer Graphics and Vision Database Systems Embodied AI and Robotics FinTech Human-AI Interaction Machine Learning Natural Language Processing Programming Languages and Verification Quantum Information and
-
Programming Languages and Verification Quantum Information and Computation Scalable Data Analytics and AI Security Software Engineering Systems and Architecture Theoretical Computer Science The appointment rank
-
principles problem formulations, algorithm development, systems designs, software implementations, and collection methods for specialized engineering applications, employing expertise in electrical and/or
-
or coordination Demonstrative administrative clerical experience Prior knowledge of Research Lab Operations Experience in budget preparation software, Microsoft Excel or Adobe Acrobat Professional Excellent oral
-
the theoretical foundations of quantum computing, software systems, security frameworks, and applications of emerging quantum technologies.[UI1] We encourage applications from scholars who apply interdisciplinary
-
(CRM) software Relevant education and experience may be substituted as appropriate. Preferred Qualifications More than five (5) years of experience in program management, member engagement, association
-
; community-centered technologies as well as critical AI for the public good. We welcome a broad range of research approaches. AI and Software Engineering: Studying software engineering, programming languages