Manage benchmarks for algorithm engineering experiments and evaluations

Reference implementations and specifications of consensus protocols

Design and implement data-flow analyses for compiler optimization

Generate compilers and interpreters for domain-specific languages

Format proofs and algorithms in publication-quality LaTeX

Check linearizability of concurrent data structure implementations

Automatically generate and verify loop invariants for algorithm correctness proofs

Analyze programs under various memory models for concurrent correctness

Interface with multiple model checking tools for formal verification

Define and test operational semantics specifications for programming languages

Assist in constructing type soundness proofs using progress and preservation theorems

SSA-form transformations and optimizations for compiler development

Define specifications for program synthesis using various paradigms

Translate between temporal logic formalisms and generate property specifications

Generate and analyze TLA+ specifications for distributed systems verification

Implement and test type inference algorithms including Algorithm W and constraint-based inference

Generate and format typing rules in inference rule notation for type system design

Component and system reliability prediction and analysis skill with MTBF/MTTF calculations, failure rate databases, FMEA/FMECA support, fault tree analysis, and accelerated life testing data analysis.

Automated test equipment control and data acquisition skill for hardware validation, with VISA/SCPI instrument communication, test sequence scripting, and measurement uncertainty analysis.

Specialized skill for air pollution control equipment selection and design including scrubbers, baghouses, ESPs, oxidizers, and BACT/LAER determination.

Specialized skill for biological and physical-chemical wastewater treatment process optimization with activated sludge modeling, nutrient removal, aeration efficiency, and energy minimization.

A3 problem-solving skill for structured problem analysis and countermeasure development.

Anthropometric data analysis skill for workstation design and accommodation.

Benchmarking analysis skill for performance comparison and best practice identification.

Capacity requirements planning skill with demand-capacity analysis and strategic capacity decisions.

Statistical process control chart creation and analysis skill with control limit calculation and special cause detection.

Decision tree analysis skill with expected value, risk analysis, and utility theory.

Demand forecasting skill with statistical and machine learning methods.

Discrete event simulation skill for modeling and analyzing complex systems with stochastic processes.

Statistical distribution fitting skill for input modeling in simulation and analysis.

Design of Experiments planning and analysis skill for factorial and response surface experiments.

Facility layout optimization skill for material flow minimization and space utilization.

Failure Mode and Effects Analysis facilitation skill for risk identification and prioritization.

Measurement System Analysis skill for Gage R&R studies with variance component analysis.

Integer and mixed-integer programming skill for combinatorial optimization problems with discrete decision variables.

Inventory optimization skill for safety stock, reorder point, and order quantity calculations.

Kaizen event facilitation skill for rapid improvement workshops and action planning.

Assembly line balancing skill for workstation design and cycle time optimization.

Mathematical programming skill for formulating and solving linear programming models for resource allocation, production planning, and capacity optimization.

Multi-criteria decision analysis skill with AHP, TOPSIS, and weighted scoring methods.

Network optimization skill for transportation, assignment, and flow problems on graph structures.

NIOSH Lifting Equation calculator for manual material handling risk assessment.

Overall Equipment Effectiveness calculation skill with loss categorization and improvement analysis.

Operational dashboard generation skill for KPI visualization and real-time monitoring.

Pareto analysis skill for identifying vital few causes and prioritizing improvement efforts.

PDCA cycle tracking skill for plan-do-check-act improvement management.

Process capability analysis skill with Cp, Cpk, Pp, Ppk calculations and specification compliance assessment.

Process mining skill for event log analysis, process discovery, and conformance checking.

Production scheduling skill with sequencing rules, resource allocation, and schedule optimization.

Queuing theory analysis skill for analytical evaluation of waiting line systems.