Program analysis / Research Engineer
Semmle
Are you fascinated by program analysis, especially of large and complex code bases? Do you know one or more programming languages inside out? Are you familiar with compiler internals, or the murky corners of the language specification? Would you like to help us secure the software that runs the world?
Role
As a program analysis/research engineer, you would be part of a team of code analysis and compiler experts working to redefine what’s possible through static analysis. You’ll use Semmle QL to develop sophisticated analyses for security and code quality issues, and make sure the latest and greatest versions of a programming language are fully supported. You’ll collaborate with the Semmle Security Research team, and with Semmle’s customers, on creating the best analysis libraries possible. Much of your work would be out in the open, and would directly benefit tens of thousands of open-source projects via LGTM.com
Link:
https://semmle.com/careers
Compiler engineer - Logic programming
Semmle
Do you want to evolve a programming language and make its implementation screamingly fast? Do you want to push forward the boundaries of logic programming and Datalog industry research?
Role
As a compiler engineer working on the QL logic programming language, you will help us develop and improve QL (and its evaluation engine), which underpins all our program analyses, and calculates all the results served on LGTM.com.
Link:
https://semmle.com/careers
Programming language tools engineer
Semmle
Do you want to evolve a programming language and make its implementation screamingly fast? Do you want to push forward the boundaries of logic programming and Datalog industry research?
Role
As a compiler engineer working on the QL logic programming language, you will help us develop and improve QL (and its evaluation engine), which underpins all our program analyses, and calculates all the results served on LGTM.com.
Link:
https://semmle.com/careers
Research engineer / Software engineer
Semmle
Are you a skilled, self-directed software engineer who would like to help us design and develop our next generation of products?
Role
As a research engineer at Semmle, you will be given the freedom to pursue the best solutions to interesting problems. We are not looking for plug-and-play programmers to bang out glue code. You will have wide-ranging responsibilities for managing individual software projects, from design to deployment.
Link:
https://semmle.com/careers
Software Engineer
Cordis
We are looking for one Software Engineer to join our R&D team in Malaga. We are the leading company in MDE working in High Tech systems, such us Automatic Parking Systems, Metal Laser printing, Advance Manufacturing, Medical Systems, etc. We are expanding rapidly and are looking for someone who wants to be part of the journey.
You should have:
- Between 2 and 5 years of experience
- Strong OO skills ideally with C#
- Experience writing Unit Tests.
- Strong English skills, Spanish is not required (the recruiting process will be in English)
The desirable skills for the role are:
- Knowledge in MDE
- Jenkins, NUnit
We offer a competitive salary and the opportunity to work with the latest MDE technology. We are a small and dynamic team that uses an Agile approach to project management.
If you think you meet these requirements please drop me an email with a Cover Letter and an updated CV to jaime.mahillo at cordis-suite.com
Looking forward to hearing from you!
Jaime Mahillo
Link:
https://www.linkedin.com/pulse/we-hiring-jaime-mahillo/
UI developer - security startup
42crunch
looking for react/js dev for a promising API security startup. Apply at 42crunch.com.
Link:
https://42crunch.com
