Help & Supportcareers@gravityer.com
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
akaydesai.github.io
July 14, 2020 – September 18, 2022
akaydesai.github.io — GitHub repository
View Projectcongruence-closure
April 25, 2019 – November 17, 2021
Verification of the congruence closure algorithm in Coq using dependent types.
View ProjectPDR-LIA
January 6, 2019 – January 6, 2019
Implementation of Property Directed Reachability for linear integer arithmetic; based on "Efficient Implementation of Property Directed Reachability" by Niklas Een, Alan Mishchenko, Robert Brayton
View Projectmcsv-LTL
September 4, 2018 – September 4, 2018
Simple bounded model checker for LTL(Linear Temporal Logic). (as part of Model Checking and Software Verification coursework.).
View Projectmcsv-CTL
September 4, 2018 – September 4, 2018
Simple CTL(Computational Tree Logic) model checker(as part of Model Checking and Software Verification coursework.).
View ProjectkludgeCMS
September 4, 2018 – September 4, 2018
A(almost complete) rudimentary CMS comissioned for NSS Cell of Goa University in 2014.
View ProjectCultural Fit Analysis
The candidate's projects are heavily academic and research-oriented, focusing on formal methods and logic. While demonstrating strong analytical skills, there is a significant mismatch with a 'Frontend Developer' target role, which typically requires practical experience with modern web frameworks, UI/UX principles, and collaborative development. The project diversity is high in terms of academic topics but low in terms of industry-relevant frontend development.
Soft Skills & Operational Fit
Insufficient data to assess soft skills or operational fit. No psychometric test results or interview feedback provided.