FVjobs

Le tableau indique pour chaque poste la pile de preuve utilisée (Lean, Rocq, Isabelle, SMT et autres) et s’il est ouvert aux non-ressortissants américains ou accompagné d’un parrainage de visa. Les offres s’ajoutent par ticket ou pull request.

Résumé écrit par une IA à partir de la description et du README du dépôt.