Jobs Posted on the Whova Community Board of SISTEDES 2018
If you know anyone in the job market, feel free to share with them
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 intern... als, 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/careersSee More >>
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 res... earch?
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/careersSee More >>
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 res... earch?
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/careersSee More >>
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 Semml... e, 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/careersSee More >>
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, Met... al 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
