Hi, I'm Nataly Smith.

02 · About

04 · Experience

Experience

Function Health. Gauntlet AI Fellow. Previously Bruker Cellular Analysis, McMaster-Carr, SYMon Holdings, and research at Yale.

1. 01 · August 2025 - Present

   Senior Software Engineer, AI Platform

   Function Health · Austin, TX

   Lead engineer on new AI platform projects. Currently using AI to build AI systems, integrating LLMs and agentic workflows into production applications.

   • Lead engineer on new AI platform initiatives
   • LLM-based agentic workflows for productivity and efficiency
   • Development of customer-facing applications that leverage LLMs and agentic workflows
2. 02 · June 2025 - August 2025

   Fellowship: Cohort II AI Challenger

   Gauntlet AI · Austin, TX

   Senior software engineer and second cohort member in a highly selective AI training fellowship program.

   • Built and integrated LLMs and agentic workflows into modern applications
   • Collaborated with top-tier engineers on AI-first projects and AI-assisted research
   • Specialized in advanced AI-first development of enterprise-grade applications
3. 03 · January 2023 - June 2025

   Senior Software Developer

   Bruker Cellular Analysis · Remote

   Led development of cloud-native applications, infrastructure automation, and genomic sequencing systems.

   • Completed a full-scale Azure DevOps migration in 3 months by coordinating team efforts, automating migration processes, and creating custom programmatic tools
   • Increased critical application performance by 400% by leading a re-architecture of existing code
   • Expedited application runtime by 75% in another project, hitting product specifications with an on-time release
   • Built critical testing functionality ahead of schedule, expediting product release by 2 weeks
   • Enriched deployment life cycle and scalability through Docker and CI/CD orchestration
   • Constructed a multi-cloud implementation of genomic sequencing testing infrastructure
4. 04 · January 2022 - January 2023

   Software Developer

   Bruker Cellular Analysis · Remote

   Main developer creating research tools for next-generation sequencing and genomic analysis.

   • Independently developed a web portal that enabled interdepartmental teams to access research tools
   • Introduced automated unit testing and integration testing into development packages
   • Worked with C++ computer vision libraries to improve sequencing technologies
5. 05 · September 2021 - January 2022

   Computer Systems Engineer

   McMaster-Carr · Elmhurst, IL

   Systems engineer specializing in web development for business-critical applications.

   • Improved company knowledge sharing by creating an internal communications hub
   • Worked with an established SDLC involving cross-team coordination, testing, and release schedules
   • Delivered website features end to end: database schemas, business logic, REST APIs, and front-end
   • Interfaced with legacy systems for modern business-critical applications
6. 06 · January 2021 - January 2024

   Co-Founder

   SYMon Holdings, LLC · United States

   Medical technology startup developing wearable technology for continuous analyte monitoring in humans, with a primary application in preventing chronic emergency admissions in dialysis patients. Funded with an initial seed grant of $1500.

   • Co-founded a medtech startup focused on continuous analyte monitoring
   • Directed product vision toward reducing emergency admissions for dialysis patients
7. 07 · January 2020 - May 2021

   Directed Research: Miller-Jensen Laboratory

   Yale University · New Haven, CT

   Directed research building predictive models for the activation of latent HIV, specializing in computational analysis of phenotype states and gene expression.

   • Computational modeling of phenotype states using Network-Free Stochastic Simulator, NFsim
   • R and MATLAB programming to analyze HIV expression data
   • Generation of a parameter-phenotype interactome network
   • Visualization of data trends in latent HIV mathematical models
   • Published research findings in a peer-reviewed computational biology journal
8. 08 · May 2019 - August 2019

   Directed Research

   Oden Institute for Computational Engineering and Sciences · Austin, TX

   Research focused on analyzing highly expressed proteins in cancer, combining molecular and statistical exploration of gene expression pathways.

   • Visualized protein-protein interactions using R, ChimeraX, and bioinformatic tools
   • Generated and explored 3D models of protein interfaces
   • Used TCGA high-throughput human data for gene enrichment analyses
   • Compared interfacial amino acid residue frequencies with structural protein data
   • Applied linear regression, frequency calculations, and original random models to gene expression data

05 · Projects

Projects

Selected work across AI, proof complexity, scientific computing, tools, and games.

Current research

Ongoing

FIG. 02

SATurday

Exploring the P vs NP question with the help of AI.

A zero-cost local research endeavor toward P vs NP. Formal proofs in Lean 4. SAT experiments in Python. Each rung is a falsifiable statement about propositional proof systems. Results are Lean 4 certificates with no sorries.

Lean 4 · Proof Complexity · SAT · DRAT/LRAT · Formal Verification · P vs NP · Python

View Code

FIG. 03

GeneKnow

Genetic data never has to leave the machine.

A privacy-first, local-first genomic risk assessment platform. It processes genetic data entirely on your machine. Nothing leaves the device.

Tauri · Rust · React · TypeScript · LangGraph · Genomics · Privacy-First · Machine Learning

View CodeWebsiteWhitepaper

Previous slideNext slide

07 · Contact