glacambre

Joined 5 years ago

Karma

Submissions

Member since

Jul 1

https://github.com/glacambre https://lacamb.re

View on Hacker News

Recent submissions

Comment · 5 months ago

>but very familiar with compilers and also formal verification

This sounds really great, and exactly what we're looking for. Do you have a resume that I could share with the team manager and HR?

Comment · 5 months ago

Adacore | Software Engineers | Full-time | Remote or On-Site

Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Fuzzers, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Senior Static Analysis Software Engineer ( https://app.hellotalent.com/vacancy/senior-static-analysis-s... )

Please apply through the website. I am in the Static Analysis team, so I can answer questions if you have any. Also, if you feel like you would be a strong candidate (e.g. you have working experience with abstract interpretation) but are missing some of the requirements (e.g. not in the right location or only three years of experience instead of five etc) and this is making you hesitate to apply, please contact me - I'm just a lowly engineer far removed from the hiring pipeline but I'd love to hear for you and try to convince HR that you could be a good fit :).

Comment · 1 year ago

At the beginning, AdaCore was the company behind GNAT, GCC’s Ada front-end. We’ve built a whole ecosystem (formal proof tooling, static analyzers, fuzzers, coverage tools, build tools, IDEs…) for the Ada language and are now aiming to become the “one-stop shop” of the embedded safety-critical world.

The following positions are open: - GNU Toolchain Developer https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... - Key Account Manager https://app.hellotalent.com/vacancy/key-account-manager-edf1... - Compiler Front-End Software Engineer https://app.hellotalent.com/vacancy/compiler-front-end-softw... - Field Engineer https://app.hellotalent.com/vacancy/field-engineer-edf7edc45

Please apply through the website :)

Comment · 3 years ago

Firenvim is also available on Chrome (although I do recommend using Firefox for browser monoculture avoidance :) ) : https://chrome.google.com/webstore/detail/firenvim/egpjdkipk...

Comment · 3 years ago

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes...

Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Python/devsecops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-enginee... )

- Cloud platform administrators ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... )

- Technical Marketing Lead ( https://app.hellotalent.com/vacancy/lead-of-technical-market... )

- US Technical Account Manager ( https://app.hellotalent.com/vacancy/technical-account-manage... )

- Service and Mentorship Engineering Lead ( https://app.hellotalent.com/vacancy/service-and-mentorship-e... )

- Digital Marketing Executives ( https://app.hellotalent.com/vacancy/digital-marketing-execut... )

We also have a ton of very cool internships for students (experimenting with alternative analysis in Facebook's Infer, porting an OS to make it run on QEMU, improving Flow analysis in GNATprove...), check them out here: https://www.adacore.com/company/careers .

Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :)

Comment · 3 years ago

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes...

Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Python/devsecops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-enginee... )

- Cloud platform administrators ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... )

- Technical Marketing Lead ( https://app.hellotalent.com/vacancy/lead-of-technical-market... )

- US Technical Account Manager ( https://app.hellotalent.com/vacancy/technical-account-manage... )

- Service and Mentorship Engineering Lead ( https://app.hellotalent.com/vacancy/service-and-mentorship-e... )

- Digital Marketing Executives ( https://app.hellotalent.com/vacancy/digital-marketing-execut... )

We also have a ton of very cool internships for students (webassembly toolchains for Ada, porting an OS to make it run on QEMU, improving Flow analysis in GNATprove...), check them out here: https://www.adacore.com/company/careers .

Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :)

Comment · 4 years ago

>He has to broadcast his public key for this [...] through a public and decentralized ledger.

Yes, but then he also has to broadcast the transaction linking his identity and public key. He could do this on twitter, but that is not a secure and tamper proof ledger. So he creates a second blockchain to advertise the transaction. But then he needs to advertise the second blockchain's transaction in order to link his identity and public key. He could do this on twitter, but that is not a secure and tamper proof ledger. So he creates a third blockchain to advertise the second transaction...

Comment · 4 years ago

The build system engineer position is 100% Ada if I'm not mistaken :)

Comment · 4 years ago

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes...

Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Build system engineer (think equivalent of Cmake, but slightly saner in my experience https://app.hellotalent.com/vacancy/gpr-software-developer-e... )

- Python/devsecops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-enginee... )

- Cloud platform administrators ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... )

- Technical Marketing Lead ( https://app.hellotalent.com/vacancy/lead-of-technical-market... )

- Service and Mentorship Engineering Lead ( https://app.hellotalent.com/vacancy/service-and-mentorship-e... )

Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :)

Comment · 4 years ago

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes...

Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Python/devsecops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-enginee... )

- Cloud platform administrators ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... )

Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :)

Comment · 4 years ago

There is a list of companies doing compiler work here: https://github.com/mgaudet/CompilerJobs . I would recommend surveying the ones that have openings, gathering the listed knowledge requirements, choosing the ones that come up most often and then learning that.

Comment · 4 years ago

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes...

Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Python/devsecops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-enginee... )

- Cloud platform administrators ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... )

Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :)

Comment · 4 years ago

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes...

Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Python/devops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Software supply chain engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- Product Security Engineers ( https://app.hellotalent.com/vacancy/product-security-enginee... )

- IT Systems Engineers ( https://app.hellotalent.com/vacancy/it-systems-engineer-eda4... )

Please apply through the page dedicated to the position you are interested in. Knowing Ada is not a requirement and AdaCore will happily train you if needed :)

Comment · 4 years ago

Hi, the GNU toolchain developper role is remote-available, and I think the rust project manager one might be too, although I could be wrong.

Comment · 4 years ago

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes...

Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...). We build a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Static Analyzers, Formal proof tooling...), everything is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Rust Project Managers ( https://app.hellotalent.com/vacancy/rust-project-manager-ed9... )

- Python/devops developers ( https://app.hellotalent.com/vacancy/senior-software-develope... )

- Infrastructure Software Engineers ( https://app.hellotalent.com/vacancy/infrastructure-software-... )

- QA/Release Engineers ( https://app.hellotalent.com/vacancy/qa-release-engineer-ed94... )

- Sales managers ( https://app.hellotalent.com/vacancy/european-sales-manager-e... )

- IT Assets project managers ( https://app.hellotalent.com/vacancy/it-assets-project-manage... )

- Senior Accountants ( https://app.hellotalent.com/vacancy/accountant-eda16f017 )

Please use the website to apply. Knowing Ada is not a requirement :)