🎯
Full-Time Opportunity: This is a permanent, full-time position with a competitive package and real career growth potential.
Job Description
Qualifications
- PhD degree in computer science, programming languages, formal methods, software engineering, or a related technical field, or equivalent practical experience.
- 4 years of experience in one or more of the following: programming language semantics, static analysis, abstract interpretation, software verification, or interactive theorem‑proving.
- 1 year of experience with a proof assistant (Lean, Coq, Isabelle, or similar).
Preferred qualifications
- 2 years of experience with compiler infrastructure (Low Level Virtual Machine (LLVM) or GNU Compiler Collection (GCC)) or programming language formalization.
- 1 year of experience with large language models or machine learning for code or reasoning tasks.
- 1 year of experience in memory safety analysis, vulnerability research, or systems security.
- 1 year of experience with Lean 4.
- Experience building and scaling software verification tools fo...