diff options
Diffstat (limited to 'personal')
| -rw-r--r-- | personal/cv/cv.org | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/personal/cv/cv.org b/personal/cv/cv.org index d5751f1..e59cef8 100644 --- a/personal/cv/cv.org +++ b/personal/cv/cv.org @@ -2,7 +2,8 @@ I strive to develop reliable and maintainable software, with an eye toward improving the tools of our craft. * Experience -** 2014 – present: software engineer at Airbus CyberSecurity +** 2021 – present: software engineer at AdaCore +** 2014 – 2021: software engineer at Airbus CyberSecurity *** Research I took part in the [[https://paclido.fr][PACLIDO project]], a French government-funded project gathering industrial and academic partners in order to design and @@ -25,10 +26,11 @@ During the course of this project, - I developed optimized software implementations for Lilliput-AE on the 16-bit MSP430 platform. *** Industrial development -For four years, I helped develop a network monitoring appliance. My -main role was *maintaining the codebase* for an in-house rule-matching -engine: designing and implementing features, fixing bugs… Over the -course of the project, I took part in many other activities: +I helped develop a network monitoring appliance for four years among a +team of roughly twenty people. My main role was *maintaining the +codebase* for an in-house rule-matching engine: designing and +implementing features, fixing bugs… Over the course of the project, I +took part in many other activities: - I helped our project transition from manual software packaging to full-blown continuous integration, |