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
- 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
- 12 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
-
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
-
; 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
-
(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
-
Qualifications PhD. required. Additional Qualifications Experience/interest in programming language, verification, artificial intelligence or machine learning. Individuals with a demonstrated track record in
-
The Department of Computer Science invites applications for a Sessional Lecturer to teach the following course during 2026-2027 Regular: Course Number, Section, and Name: CMPT 371.3, (02) Software