diff --git a/resume.markdown b/resume.markdown index 07a00e1..b9f830e 100644 --- a/resume.markdown +++ b/resume.markdown @@ -6,16 +6,6 @@ permalink: /resume/ # John D. Corbett, Rust Software Developer -Been writing Rust for a few years. - -## Software Developer -Kroger Technology & Digital · Contract - -Developed a prototype developer tool to generate unit tests from -TypeScript application code. Written in Rust using Speedy Web Compiler -for parsing. The output is working test code that a developer can -easily adapt to application requirements. - # Experience ## The Pictographer's Shop · Freelance @@ -29,27 +19,18 @@ Developed prototype Internet of Things devices related to home automation, remote device monitoring and secure password storage. -Visit http://pictographer.com for more.For many years, I've -had a consulting practice. I've worked in various -specialties including software development, user interface -development, web design, and graphic design. Developed -prototype Internet of Things devices related to home -automation, remote device monitoring and secure password -storage. Visit http://pictographer.com for more. +At the moment, pictographer.com is down. I'm brushing up on my web +skills and will eventually refresh it. ## Kroger Technology & Digital Software Developer Kroger Technology & Digital · Contract · Oct 2022 - Aug 2023 · 11 mos · Remote -Developed a prototype developer tool to generate unit tests -from TypeScript application code. Written in Rust using -Speedy Web Compiler for parsing. The output is working test -code that a developer can easily adapt to application -requirements.Developed a prototype developer tool to -generate unit tests from TypeScript application code. -Written in Rust using Speedy Web Compiler for parsing. The -output is working test code that a developer can easily -adapt to application requirements. +Developed a prototype developer tool to generate unit tests from +TypeScript application code. Written in Rust using Speedy Web Compiler +for parsing. The output is working test code that a developer can +easily adapt to application requirements because it uses a +Handlebars-like template library. ## Espresso Systems Full-time · 1 yr 10 mos Remote @@ -57,9 +38,7 @@ Staff Software Engineer Jan 2022 - Aug 2022 · 8 mos Developed a framework for discoverable web APIs in -Rust based on the Tide web services crate.Developed -a framework for discoverable web APIs in Rust based -on the Tide web services crate. +Rust based on the Tide web services crate. *Skills:* Rust (Programming Language) @@ -68,9 +47,7 @@ Nov 2020 - Jan 2022 · 1 yr 3 mos Hired and led a team of systems engineers to successful demonstration of a cryptographic ledger -based on zero knowledge proofs.Hired and led a team -of systems engineers to successful demonstration of -a cryptographic ledger based on zero knowledge proofs. +based on zero knowledge proofs. *Skills:* Hiring · Cross-functional Team Leadership · Requirements Engineering @@ -82,17 +59,13 @@ Full-time Mar 2020 - Nov 2020 · 9 mos Hired and led a small team of systems engineers to successful demonstration of a cryptographic ledger -based on zero knowledge proofs.Hired and led a small -team of systems engineers to successful -demonstration of a cryptographic ledger based on -zero knowledge proofs. +based on zero knowledge proofs. ### Senior System Engineer Aug 2019 - Mar 2020 · 8 mos · Menlo Park Developed financial infrastructure using modern -cryptography.Developed financial infrastructure -using modern cryptography. +cryptography. *Skills:* Rust (Programming Language) @@ -102,9 +75,7 @@ Senior Software Engineer Tortuga Logic, Inc. May 2018 - Jul 2019 · 1 yr 3 mos San Jose Developed high performance graph algorithms and data -structures for hardware security analysis.Developed high -performance graph algorithms and data structures for -hardware security analysis. +structures for hardware security analysis. *Skills:* C++ @@ -127,11 +98,7 @@ genome sequencing and universal biomarker detection technologies. Development was performed with Agile Scrum methodology using -Python and C++.Software development spanning microcontroller -firmware, user interface and server applications in support -of solid state genome sequencing and universal biomarker -detection technologies. Development was performed with Agile -Scrum methodology using Python and C++. +Python and C++. *Skills:* Microcontroller Development · C++ · Python @@ -146,12 +113,7 @@ properties of FPGA designs. Mentored and supervised junior engineers. Wrote and created collateral presenting our approach to security verification as a more general fault-tolerance solution applicable -to functional safety.Wrote software to verify safety -and security properties of FPGA designs. Mentored -and supervised junior engineers. Wrote and created -collateral presenting our approach to security -verification as a more general fault-tolerance -solution applicable to functional safety. +to functional safety. *Skills:* Functional Safety · Requirements Engineering · C++ · TCL · Field-Programmable Gate Arrays (FPGA) @@ -162,10 +124,6 @@ Feb 2005 - Dec 2012 · 7 yrs 11 mos I worked on software to verify security properties of FPGA designs. Formerly, I was the lead developer for TMRTool, an application used to prepare FPGA designs -for deployment to high altitudes or space.I work on -software to verify security properties of FPGA -designs. Formerly, I was the lead developer for -TMRTool, an application used to prepare FPGA designs for deployment to high altitudes or space. *Skills:* C++ · Field-Programmable Gate Arrays (FPGA) @@ -176,9 +134,7 @@ Software Engineer Software development and graphic design for multi-modal user interfaces, including speech recognition, gesture -recognition, and RFID.Software development and graphic -design for multi-modal user interfaces, including speech -recognition, gesture recognition, and RFID. +recognition, and RFID. *Skills:* Visual Basic · Speech Recognition · C++ · Graphic Design* @@ -196,9 +152,7 @@ Research Programmer Xerox PARC 1987 - 1989 · 2 yrs Assisted with research into graphics editing applications -and text editing applications.Assisted with research into -graphics editing applications and text editing applications. - +and text editing applications. *Skills:* Common Lisp ## Learning Research and Development CenterLearning Research and Development Center @@ -206,9 +160,7 @@ Programmer 1985 - 1988 · 3 yrs Developed Intelligent Tutoring Systems and a patented method -for creating graphical user interfaces.Developed Intelligent -Tutoring Systems and a patented method for creating -graphical user interfaces. +for creating graphical user interfaces. *Skills:* Interlisp-D/Loops*Skills:* Interlisp-D/Loops