Nicholas Mark Collins
Experience in Java, Python, formal verification, proof mechanization, game development, AI/ML, testing/QA, android, SQL, and a variety of other areas! I am a generalist and am interested in learning new things!
About
Experience in Java, Python, formal verification, proof mechanization, game development, AI/ML, testing/QA, android, SQL, and a variety of other areas! I am a generalist and am interested in learning new things!
- 11 years' experience
- Joined October 2025
Industry experience
- Software & Internet
- Education
- Gaming
- Media & Entertainment
- Professional Services
- Computers & Electronics
More experts in Austin, United States
- AI Engineers for hire in Austin, United States
- Back-End Developers for hire in Austin, United States
- Front-End Developers for hire in Austin, United States
- Full Stack Developers for hire in Austin, United States
- Game Developers for hire in Austin, United States
- Programmers for hire in Austin, United States
- Web Developers for hire in Austin, United States
Work experience· 31 roles
Built in Godot and Python. Wrote over 2000 lines of property tests using Hypothesis framework.
Built a mobile game using Godot and Python; authored over 2000 lines of property tests using Hypothesis framework.
Developed a mobile game using Godot and Python; contributed to open-source structure editor tooling.
Education· 11
Certifications and awards
Hire Nicholas Mark Collins today
Post a job and invite Nicholas, or contact them directly. No hidden commission.