Sort by
Refine Your Search
-
Category
-
Country
-
Field
-
seeks to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek
-
AI-based cybersecurity. Main duties and responsibilities Conducting research on network abstractions, spanning language design, implementation, and verification. The precise focus will be discussed
-
with unverified systems in terms of development effort, features, and performance. Its missions include the design and implementation of verified inference components, the formalization of GPU kernel
Enter an email to receive alerts for interactive-design "https:" positions