Research Fellow (Computer Science / Software Engineering / Artificial Intelligence)
Core
Develop new techniques and tools for analyzing, verifying, and improving the correctness, robustness, and reliability of deep neural networks and AI-enabled software systems.
Role type
Research Fellow (AI System Assurance)
Builds
Novel verification methods, algorithms, and research findings
Domain
Artificial Intelligence, Formal Verification, Machine Learning
Deliverable
production ML models | research
Required skills
formal verification, machine learning, deep neural network analysis, abstraction, invariant learning, convex approximation, symbolic analysis, high-dimensional geometric analysis, experimental evaluation, academic publishing, mentoring
Preferred skills
none stated
Technologies
none stated
Responsibilities
Develop novel methods and algorithms for verification, testing, and robustness analysis of deep neural networks; Explore techniques to improve scalability and precision of AI verification; Evaluate techniques through experiments and real-world applications; Publish research findings in reputable conferences and journals; Collaborate with research team and external partners while mentoring junior researchers
Seniority
Senior, independent research
