NicholeĀ Schimanski

Engineering Project Lead at Galois, Inc.

Beaverton, Oregon, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

šŸ‘¤
Senior
šŸŽ“
Top School
Nichole Schimanski is an Engineering Project Lead with eight years of experience translating deep mathematical insight into practical software and research outcomes at Galois. Trained as a PhD mathematician, she blends expertise in probability, combinatorics, and abstract algebra with hands-on algorithm development for cryptographic primitives, pairing pencil-and-paper proofs with production-ready code. Her background spans data science and engineering roles across startups and research organizations, where she has led projects that benefit from parallelizable algorithms and cluster computing. Comfortable mentoring and teaching (with prior adjunct and TA roles), she brings both technical leadership and a knack for turning theoretical problems into scalable, testable implementations. An ongoing interest in MPI and high-performance parallelism highlights a pragmatic drive to push research into efficient, distributed practice.
code8 years of coding experience
job8 years of employment as a software developer
bookDoctor of Philosophy (PhD), Mathematical Sciences, Doctor of Philosophy (PhD), Mathematical Sciences at Portland State University
github-logo-circle

Github Skills (12)

structures9
relational-algebra8
crypto6
encryption6
cryptography6
workbench5
python4
computation2
intervals2
rust-lang1
multi-party-computation1
rust1

Programming languages (4)

RustTeXHaskellHTML

Github contributions (5)

github-logo-circle
GaloisInc/FAW

Dec 2020 - Mar 2022

Galois Format Analysis Workbench
Contributions:4 reviews, 4 commits, 2 PRs in 1 year 2 months
pythonformat-analysisgaloisworkbench
GaloisInc/daedalus

Apr 2021 - Feb 2024

The Daedalus data description language
Contributions:1 PR, 1 push, 1 branch in 2 years 10 months
data-description-languagedaedalusrelational-algebralanguage-description
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Nichole Schimanski - Engineering Project Lead at Galois, Inc.