typetheoryforall/FVjobs
Recurso
¿Es de fiar?
Conviene mirarlo con calma antes de usarlo.
Avisos Revisa
Muy nuevo: se creó ayer. Espera un poco antes de instalarlo.
Estrellas de cuentas reales Sin datos
Todavía no hemos comprobado si sus estrellas son falsas.
Activo Bien
Último cambio hoy.
Licencia Bien
MIT: puedes usarlo gratis, también en un producto comercial. Conserva el aviso de licencia.
Comprobaciones rápidas con datos públicos. Ayudan, pero no son una garantía.
Qué es
Un tablero de ofertas de empleo curado que recoge puestos de verificación formal en asistentes de demostración, razonamiento automático, compilación verificada y verificación hardware. Cada entrada indica la pila de demostración utilizada, la política de trabajo remoto y la…
Para quién es
Ingenieros e investigadores que buscan empleo en verificación formal, por ejemplo especialistas en Lean, Rocq, Isabelle o SMT
Cómo usarlo
Pide a tu IA que lo instale
Pega esto en Claude, ChatGPT o tu asistente de programación.
Ayúdame a instalar y configurar typetheoryforall/FVjobs en mi proyecto. Sigue su README: https://github.com/typetheoryforall/FVjobs. Explícame cada paso y comprueba que es seguro antes de ejecutar nada.
Curva de estrellas
Recibe alertas de repos como este
Te escribimos cuando repos como este empiecen a subir. Gratis, una vez por semana, solo lo que encaja.
21.408 repos de GitHub vigilados y ordenados cada hora. Cifras a 27 de octubre de 2026.
Qué te llega: un email los lunes con los repos que encajan, nunca más. Mira el de la semana pasada. Privacidad
Para quien mantiene el repo
Pon esta insignia en tu README. Muestra el puesto del repo en el radar, se actualiza cada hora y enlaza a esta página.
[](https://repoalerts.com/repo/typetheoryforall/FVjobs?ref=badge)Repos parecidos
- theorem-labs/oss-verify-proofs
Pruebas en Rocq que establecen que, para algunos fuzz targets de OSS-Fuzz compilados como binarios RISC-V, no existe ninguna entrada dentro de límites declarados que provoque un fallo en las compilaci
- strelov1/freehire
Motor de búsqueda de empleo de código abierto que recopila ofertas de empleo de TI directamente de las páginas de carrera de las empresas y de plataformas ATS, unifica los duplicados en un esquema nor
- AienTech/dossier
Aplicación autoalojada para la búsqueda de empleo que lee las ofertas, las compara con un perfil personal y redacta currículums y cartas de presentación adaptados, usando solo datos de ese perfil. Tam
- aicodeking/leanrea
Un archivo de skill de agente de 8 KB que ofrece a los agentes de programación con IA reglas de enrutamiento y comandos de línea de comandos listos para ejecutar en ingeniería inversa de binarios, app
- openmathmodel/open-math-harness
Entorno de ejecución de código abierto en Rust para Open Math OS, con un micronúcleo basado en capacidades, agentes sobre modelos abiertos, búsqueda paralela de demostraciones y pruebas verificadas co
- YUTA-fywoo/jev-gui-delegate
Prototipo de delegación de interfaces gráficas en Windows y Chrome para Codex. Un controlador local ejecuta pasos deterministas, llama al modelo Jev de TypeSafe para decisiones semánticas, comprueba l