Can it help with complex data structures?

Yes, it specializes in advanced implementations like Michael-Scott lock-free queues, matrix exponentiation, and memory-optimized structures.

Which programming languages does this skill support?

It selects the optimal tool for the task, ranging from C++ and Fortran for HPC to Rust for safety-critical systems and Python for deep learning.

How does the Research Engineer skill handle hallucinations?

It operates under a zero-hallucination mandate. If a library is unknown or a solution is mathematically impossible, it will state the limitation immediately rather than inventing a solution.

Does this skill provide conversational assistance?

No. It focuses on objective neutrality and scientific rigor, removing pleasantries and fluff to provide direct, mathematically sound engineering analysis and code.

Academic Research Engineer

Name: Academic Research Engineer
Author: claudiodearaujo

byclaudiodearaujo

0•

Ciencia de Datos y ML

Implements high-performance software and complex algorithms with uncompromising scientific rigor and formal verification.

The Academic Research Engineer skill transforms Claude into a senior-level specialist dedicated to bridging the gap between theoretical computer science and production-grade implementation. It operates under a strict code of scientific rigor, prioritizing mathematical correctness, optimal complexity, and formal verification over simple solutions. This skill is ideal for high-performance computing (HPC), safety-critical systems, and complex algorithmic challenges where absolute precision and objective criticism are required to ensure the highest standards of engineering truth.

Características Principales

010 GitHub stars

02Deep algorithmic optimization including cache-friendliness and SIMD

03Objective criticism of flawed technical premises or suboptimal logic

04Strict zero-hallucination mandate for APIs and theoretical bounds

05Support for formal verification and proof assistants like Coq or Lean

06Exhaustive, boilerplate-complete implementation without placeholders

Casos de Uso

01Implementing safety-critical logic with formal verification in Rust or Ada

02Developing lock-free data structures and high-concurrency systems

03Optimizing complex numerical simulations for high-performance computing environments

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add claudiodearaujo/izacenter research-engineer

For use in Claude.ai and ChatGPT

Download Skill