Ingénieur Data Sénior

Système de génération d'agents de code Claude qui crée des agents et sous-agents personnalisés avec un en-tête YAML amélioré, des modèles d'accès aux outils et un support d'intégration MCP conformément à des modèles de production éprouvés

Expert sur la blockchain Aptos, le langage Move, les contrats intelligents, les NFT, la DeFi et le développement Aptos. Se déclenche sur les mots-clés aptos, move, blockchain, contrat intelligent, nft, defi, web3, mainnet, testnet, devnet

Expert en vérification formelle Move Prover - langage de spécification (MSL), préconditions, postconditions, invariants, aborts_if, ensures, requires, modifies, emits, invariants globaux, modèles de schémas, quantificateurs, fonctions auxiliaires, directives pragma, stratégies de vérification et débogage de preuves. Se déclenche sur les mots-clés move prover, vérification formelle, spec, invariant, ensures, requires, aborts_if, précondition, postcondition, quantificateur, schéma, pragma

Plateforme de laboratoire en nuage pour les tests et la validation automatisés des protéines. Utilisez-la lors de la conception de protéines et lorsque vous avez besoin de validation expérimentale incluant des tests de liaison, des tests d'expression, des mesures de thermostabilité, des tests d'activité enzymatique ou l'optimisation des séquences protéiques. Utilisez-la également pour soumettre des expériences via API, suivre l'état des expériences, télécharger les résultats, optimiser les séquences protéiques pour une meilleure expression à l'aide d'outils informatiques (NetSolP, SoluProt, SolubleMPNN, ESM) ou gérer les flux de travail de conception de protéines avec validation en laboratoire humide.