A searchable index of Hacker News “Who is hiring?” job postings.
← All postings · August 2021 thread
AdaCore
Software Engineers
| Company | AdaCore |
|---|
| Website | adacore.com ↗ |
|---|
| Role | Software Engineers |
|---|
| Type | full-time |
|---|
| Role taxonomy | Software Engineering |
|---|
| Specialties | Software Engineering |
|---|
| Location | New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... · Remote |
|---|
| Salary | — |
|---|
| Apply via | Application link — https://www.adacore.com/company/careers |
|---|
| Hiring notes | — |
|---|
| Parsed locations | New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... |
|---|
| Posted by | glacambre |
|---|
| Posted | Aug 2, 2021 |
|---|
| Source | View on Hacker News ↗ |
|---|
Original posting
AdaCore | Software Engineers | New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... | Full-Time | Remote/On-Site depends on position | https://www.adacore.com
AdaCore is the maintainer of GNAT, the Ada compiler based on GCC (although we also have a few other backends, targeting LLVM IR, JVM bytecode or Why3!). We also build a lot of tools for the Ada ecosystem (static analyzers, formal proof tooling, build systems, IDEs...). What we build is open-source, we make money by selling support. We are looking for GNU Toolchain developpers, senior account managers, devops people... Open positions are listed here : https://www.adacore.com/company/careers .