- Blog
- CV generator
- Community
- Documentation
Vítor Alcântara de Almeida
Natal, Brazil
Software Engineer that loves to code and game!
CodersRank Score
What is this?
This represents your current experience. It calculates by analyzing your connected repositories. By measuring your skills by your code, we are creating the ranking, so you can know how good are you comparing to another developers and what you have to improve to be better
Information on how to increase score and ranking details you can find in this blog post.
103.5
CodersRank Rank
Top 5%
Based on:
9 events
Highest experience points: 0 points,
0 activities in the last year
PHP
17.8
exp.
Java
13.2
exp.
JSON
12.1
exp.
JavaScript
11.3
exp.
CSS
9.4
exp.
Dart
6.3
exp.
SCSS
5.4
exp.
Python
3.6
exp.
Ruby
2.5
exp.
Shell
1.2
exp.
List your work history, including any contracts or internships
Companhia Brasileira de Trens Urbanos - CBTU
Jun 2016 - Apr 2021 (4 years 10 months)
Analyst of Management in Information Technology
1. Software development - Web platforms in Java/Spring and Python/Django. Mobile applications in Java/Android and Flutter/Android-iOS
2. Security and data management, including Server maintenance.
3. Elaboration and monitoring of contracts and IT services.
2. Security and data management, including Server maintenance.
3. Elaboration and monitoring of contracts and IT services.
Atos Worldline
Mar 2013 - Aug 2013 (5 months)
Intern in Software Development
Responsible to:
1. Develop a dynamic website with the use of Liferay portlets
1.a: I participated in the design and implementation of a management tool for chat windows. I improved my skills with agile development and software engineering.
2. Create a tool for the integration of a chat channel in a website.
2.a: Technologies involved: AJAX, KnockoutJS, JSP and JSF and RESTful Web Services.
1. Develop a dynamic website with the use of Liferay portlets
1.a: I participated in the design and implementation of a management tool for chat windows. I improved my skills with agile development and software engineering.
2. Create a tool for the integration of a chat channel in a website.
2.a: Technologies involved: AJAX, KnockoutJS, JSP and JSF and RESTful Web Services.
Systerel
Mar 2011 - Jul 2011 (4 months)
Tools Developer for System Analysis and Modelling
I was responsible for developing a plug-in for the Rodin tool, a n open source software maintained by the company Systerel and associates. The function of this plugin is to interconnect SMT (Satisfiability Modulo Theories) to Rodin, so that they can be used as proof obligation solvers.
There are currently two versions in use of SMT: versions 1.2 and 2.0. In my internship, I implemented partially both of the plugin versions.
There are currently two versions in use of SMT: versions 1.2 and 2.0. In my internship, I implemented partially both of the plugin versions.
Add some compelling projects here to demonstrate your experience
Trem de Bolso Natal
Oct 2018 - Present
App oficial da CBTU/Natal para exibição de horários e estações de trem.
DeCert
Dec 2008 - Dec 2011
The objective of the DECERT project is to design an architecture for cooperating decision procedures, with a particular emphasis on fragments of arithmetic, including bounded and unbounded arithmetic over the integers and the reals, and on their combination with other theories for data structures such as lists, arrays or sets. To ensure trust in the architecture, the decision procedures will either be proved correct inside a proof assistant or produce proof witnesses allowing external checkers to verify the validity of their answers.
Rodin to SMT translator
Jun 2009 - Present
Formal developments such as modelling and renement in Event-B generate a large amount of proof obligations. SMT-solvers are a new family of theorem provers that hold the promise of not only automation and speed, but also additional features such as proof and counter-model generation. The main function of the plug-in is to integrate SMT-Solvers in the Rodin platform, so the user can make fast and automatic use of these two platforms together. This plug-in implements a translation from the proof obligations generated in Rodin to the SMT-LIB format, calls a SMT-Solver on the results of this translation, and returns the result of proof immediately to Rodin.
This section lets you add any degrees or diplomas you have earned.
Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte
Computer technician, Informatics
Dec 2004 - Dec 2007
Polytech Montpellier
Engineer's degree in Informatique et Gestion, Computer Science
Dec 2011 - Dec 2012
Universidade Federal do Rio Grande do Norte
Master's degree, Computer Science
Dec 2013 - Dec 2015
Universidade Federal do Rio Grande do Norte
Bachelor's degree, Computer Science
Dec 2007 - Dec 2012
C (Intermediate
Sep 2020
Extension course - Individual Income Tax Declaration (Brazil) - DIRPF - IRPF
Apr 2020
Problem Solving (basic)
Sep 2020