Positions in Logic and Complexity in Prague

1. A one‐year post‐doc position available within the framework of the European Research Council Advanced Grant Feasibility, logic and randomness in computational complexity (FEALORA) under the direction of Professor Pavel Pudlák.

Requirements:
Ph.D. degree in Mathematics or Theoretical Computer Science completed within the period January 2012 – November 2015. Good background in logic and computational complexity.
Starting date: 1.12.2015.

Deadline for submission: 15.9.2015

2. A two-year postdoctoral position within the Academic Human Resource Programme of the Academy of Sciences of the Czech Republic is available in one of the research teams in the Institute of Mathematics AS CR in Prague or in Brno.

Requirements:
Applications are invited from candidates who have completed their Ph.D. after 1st July 2012 (maternity/paternity leave will be taken into account). Applicants who have not yet obtained their Ph.D. must produce evidence that their thesis will be defended before 1st July 2015.
Starting date: 1.7.2015.

Deadline for submission: 31.3.2015

https://application.math.cas.cz/Positions.html#page=CALL_LIST

Computer Science Instructor at Bakersfield College

The Business Management and Information Technology Department is seeking a faculty member to help teach the department’s new Computer Science Transfer Model Curriculum (TMC) and to coordinate student internships. Part of the TMC consists of four Computer Science core courses that will allow students to directly transfer to a California State University Computer Science program with junior year status. The student internship component requires the individual to be the lead faculty in designing and coordinating a program for both internal institutional internships and external community internships.

Successful applicants must be able to effectively teach the following TMC courses: Programming Concepts & Methodology I, Programming Concepts & Methodology II, Computer Architecture & Organization, and Discrete Structures.

Successful applicants must possess strong software development skills using Java, C++ and assembly language. Applicants must be able to teach the following concepts: object oriented programming, data structures, structured programming, systems analysis and design, and discrete structures used in Computer Science with an emphasis on their applications. Applicants must have excellent communication skills.

via Computer Science Instructor (REPOST).

Postdoctoral position in String Algorithms in Lille, France

POSTDOCTORAL POSITION IN STRING ALGORITHMS AND COMPUTATIONAL BIOLOGY
(LILLE, FRANCE)

We are seeking a postdoctoral fellow to work on algorithms and biological sequence analysis, developing new methods for high throughput sequencing data. The successful candidate will join a dynamic, multidisciplinary research group from University of Lille (France). The post will require a high level of expertise in automata theory, algorithms, and combinatorics. A PhD in Theoretical Computer Sciences or a related field is required.

* Application deadline: March 2015, 15th
* Start date : November 2015 (negotiable)
* Duration: 16 months

Please see http://www.cristal.univ-lille.fr/bonsai/postdoc-seeds-2015
for full details both of the post and the application process.

2 years computer science postdoc at Computational Biology Institute, France

LIRMM – UMR 5506 & Univ Montpellier 2 is looking for an enthusiastic and motivated post-doctoral fellow with a background in computer science and algorithms to investigate theoretically, as well as to conceive and develop novel algorithms for analysing sequence data coming from High Throughput Sequencing technologies.

With their huge throughput and scope of applications, Next Generation Sequencing (NGS) technologies are turning biology into a data driven science. Many questions related to genome organisation and funtion can now be asked as computational questions and require large scale analysis on large volumes of sequence data. A key to scalability of used methods is to design sophisticated algorithms for processing this data and inferring biological knowledge. The IBC is a multidisciplinary institute with five collaborating axis of research, one of which is devoted to approaches for analysing sequencing data.

Overall topic: Practical algorithms and indexing data structures for NGS processing

For example, the following topics are of interest:
– Designing methods for comparing sequences to a collection of similar genomes. Genomes from individual or populations from the same species usually differ by a limited number of positions. Hence, a succint representation of several of these genomes in a compact form in memory encode some reference and the differences from other genomes with respect to the reference one.
– Novel approaches for large scale sequence assembly. Current genome assembly methods have strong limitations and are hindered by a varying level of sequencing depth. To solve these limitations it is promising to develop approaches able to exploit variable size of overlaps between the input sequences, without loosing the effectiveness of de Bruijn graph based solutions.

The position is available as soon as possible. The prospective candidate should send a CV and the name and e-mail contacts for 3 references to rivals@lirmm.fr. The official application will be made on the IBC website: http://www.ibc-montpellier.fr/

** Background and requirements
– Background keywords: computer science, text algorithms, combinatorial algorithms, indexing techniques, data compression
– Required: advanced knowledge in algorithmics, software development in C/C++
– Required: interested in life sciences, eager to work in a team and to collaborate with scientists from other disciplines
– Knowledge of French is not required
– Desired: strong publication record, good communication skills in English.
– Appreciated: experience in High Performance Computing or in genomics analyses
– Offered: good working environment, dynamic team, research budget, access to meso-computing server, opportunities of local and international collaborations with highly qualified life scientists, fantastic region and nice living quality.

** Practical issues
– Duration: 24 months
– Salary: depend on experience, according official salary grid
– Social security and Health insurance are included
– Employer: Université de Montpellier, France
– Institute: Institut de Biologie Computationnelle
– Location: Montpellier, south of France
– contact: E. Rivals, rivals@lirmm.fr
– The official application will be made on the IBC website: http://www.ibc-montpellier.fr/open-positions

Algorithmic and Enumerative Combinatorics postdoc at Austrian Science Foundation

ALGORITHMIC AND ENUMERATIVE COMBINATORICS

funded by the Austrian Science Foundation FWF, there is a PostDoc position available at
RISC (Research Institute for Symbolic Computation, Linz) for the project

Computer Algebra for Nested Sums and Products (C. Schneider)

Possible research topics within this project are:
– symbolic summation/integration algorithms
– algorithms to solve differential/difference equations
– the development of special function algorithms to extract, e.g., analytic properties
– the application of the available tools in this context to attack challenging problems in combinatorics and related research areas.

Suggested starting date: April 2015;
Duration: one, maximally 2 years

Further details (in particular the electronic application form) can be found at

https://www.sfb050.risc.jku.at/

Ojai based GenRocket is looking for Computer Science interns

GenRocket, based in Ojai, CA, is looking for two Computer Science Interns to work on a paid project. GenRocket is a platform for test data generation and software testing that is in the process of transforming how the industry tests software applications.

This is an exciting opportunity to work with and learn about best practices in software development and testing from senior level engineers and from architects. You’ll have the opportunity to work on projects from the ground up learning industry standard skills that you can apply throughout your career.

And you’ll become one of the first engineers in the industry to become “GenRocket Certified”.

The Project:

Interns will be helping to implement a custom built online store.

The online store will rely heavily on Web services. The Web services will allow the front-end and back-end of the application to be implemented independent of each other since all communication between the two tiers will be over web services.

The Web services and back-end tier will be implemented in the modern and cool Groovy language using the Grails platform.

The front-end tier will be implemented in EmberJS, a front-end Javascript framework.

As the application is being developed and implemented it will also be fully tested using the GenRocket test data generation platform and using GenRocket testing design patterns. This will allow the application to be fully tested end-to-end prior to going into production – something that is practically unheard of in our industry.

This will be a fun and aggressive project as the online store needs to be completed in 90 days.

Intern Benefits:

 Interns get to learn and hone their skills in the following areas.

  • Groovy Scripting language
  • Grails Framework
  • EmberJS, a front-end Javascript framework
  • Back-end service tire implementation
  • MySQL Database Server
  • Web services implementation
  • GenRocket test data generation platform and testing design patterns
  • Fast paced, startup like implementation of a custom designed online store that you will actually see in production and get to show your friends.

Intern Technical Skills Requirements:

Interns need to have the following technical skills:

  • Basic understanding of one or more Object Oriented Programming languages like Java.
  • Must understand basic Object Oriented Programming design patterns
  • Basic understanding of one or more scripting languages like Groovy, Python, or Ruby.
  • Experience with a Model View Controller based web application framework like Grails or Rails.
  • Basic understanding of relational databases and SQL
  • Basic understanding of both XML and JSON
  • Basic understanding of Unit Testing including Integration, Functional, and Load Testing ***
  • Basic understanding of front-end technologies like HTML, CSS, and Javascript
  • Basic understanding of Version Control

A working knowledge of the following is preferred but not required:

  • Groovy / Grails
  • Unix based Operating Systems (Linux, OSX)
  • MySQL
  • Git / Github

And any of the following skills would be a plus:

  • Emberjs or a similar Javascript MVC framework
  • Experience working with RESTful Webservices both in writing API’s and consuming

*** Note: the Intern will be required to fully test all written code using the GenRocket Platform.

If interested, contact: Garth Rose, email: garth@genrocket.com

PhD position Department of Computer Science at Royal Holloway University of London

The Department of Computer Science at Royal Holloway University of London is offering a three-year full-time PhD studentship in algorithms and complexity starting in October 2015. The studentship includes a full tuition-fee waiver and a maintenance award in line with the level recommended by Research Councils UK (exact value to be confirmed, circa GBP 16,000 pa). The student will be hosted in the Center for Algorithms and Applications and will work under the supervision of Dr Iddo Tzameret.

via Iddo Tzameret Homepage.

3 REASONS I’d LOOK At YOUR RESUME

3 REASONS I’d LOOK At YOUR RESUME

Originally a posting of Lockheed Martin’s Chairman, President and CEO,  Marilyn Hewson.  

I’ve hired thousands of people over the course of my career, which means I’ve read tens of thousands of resumes. I’ve seen great resumes that have helped people launch thriving careers — and, unfortunately, I’ve seen plenty that have fallen flat.

A resume is your first impression on a potential employer. And in many cases, it will determine whether you get the chance to make a second impression.

At Lockheed Martin, it’s not unusual to get hundreds of applicants for a single job opening, so the competition is intense. It’s important to take the time to make sure you stand out — and stay — in a potential employer’s mind. In my experience, a few simple steps can help take your resume to the top of the pile.

1) Don’t be afraid to delete Your resume is not an autobiography. In fact, less is more in crafting a good summary of your skills and experience. A tight resume shows me that you can prioritize. It tells me that you can be clear, concise, and get right to the point. It also shows me that you respect my time. Hiring managers — at any level of leadership — are busy. And the fact that they’re hiring means they likely have even more work on their plate than usual. Don’t expect the hiring manager to weed through your resume looking for experience that’s relevant to the opening. Honestly assess whether every single word belongs. Odds are, you’ll find places to trim — and that’s a good thing.

2) Re-write your resume for every job description Don’t just send the same resume and cover letter to every job opening. Really pay attention to the job description, and make sure that your application underscores why you’re perfect for that particular position. Companies spend a lot of time and energy crafting job descriptions to attract the right candidates. So learn from them and use it to your advantage. Job postings are great input to help you understand what the organization really needs. When you focus your resume on the job description, and align your skills to the organization’s needs, you’re demonstrating that you understand exactly what they’re looking for. And you can better show how you are the right person for the job.

3) Show me results Use your resume as an opportunity to showcase all your hard work. I don’t just want to see a list of previous positions and responsibilities — I want to see the results you delivered. Did you increase sales? Did you land a big contract? Did you complete a project under budget? Did you improve customer satisfaction or employee engagement? Each of these examples is a real, tangible accomplishment — and accomplishments say more about your experience than a long list of jobs you’ve held. Specific examples show me that you are ready and able to help the organization succeed. So for each position you list, highlight the one or two achievements you are most proud of. Demonstrate how valuable you were, and how valuable you can be.

These three suggestions are important whether you’re applying for a top management position or your first job out of school. They can help you make that first impression that will land you an opportunity to interview. And I have some suggestions for that, too. Are there any other tips you find particularly helpful? Share with other readers by leaving a comment below.