|
|
|
|
|
|
by nradk
597 days ago
|
|
|
Location: Spokane, WA
Remote: Yes
Willing to relocate: No
Technologies: Java, Kotlin, Typescript, Python, C/C++, Rust, Git, Linux, AWS (DynamoDB, S3, Lambda, CDK, Batch, IAM, etc.), TLA+, Embedded programming.
Résumé/CV: https://www.linkedin.com/in/neeraj-adhikari/
Email: hi[at]nradk[dot]com
A generalist software engineer with 5 years of experience. Passionate about finding the right quality vs speed balance. Most of my experience is back-end, but I'm motivated by engineering challenges regardless of platform, language or stack. More recently interested in formal methods and dabbling in stuff like model checking and proof assistants. |
|
|